A Petri Net Modeling Framework for the Control of Flexible Manufacturing Systems. Issue 13 (2019)