PFS/MFG: A High Level Net for the Modeling of Discrete Manufacturing Systems
José Reinaldo Silva, Paulo Eigi Miyagi · 1995
A formalism for an extended Condition/Event Petri Net, PFS/MFG (Production Flow Schema/Mark Flow Graph) is introduced in this work. The algebraic relations provided can be used in behavior and structural property analysis of discrete systems modeled in this technique. Behavior analysis is based on a simulator which specifications and some algorithms are presented here. The resulting net can be applied to the design, modeling and evaluation of configurations in Factory Automation as well as to discrete shop floor control. Briefly, we describe a realistic application of the revised PFS/MFG net in a medium size printers factory.