Review on Petri Net Modeling and Analysis of a Smartphone Manufacturing System. Issue 1 (1st January 2020)