Petri Nets Modeling of a Flexible Manufacturing System | Synapse