A formalism for an extended Condition/Event Petri Net, MFG (Mark Flow Graph), is presented which fits the high level representation PFS/MFG (Program Flow Schema/Mark Flow Graph). The algebraic relations provided can be used in behavioral and structural property analysis of discrete manufacturing systems modeled in this technique. Behavioral analysis is based on an object oriented simulator of which specifications and some algorithms are presented here. The resulting net can be applied to the design, modeling and evaluation of configurations in integrated manufacturing systems as well as to discrete shopfloor control. Briefly, we describe a realistic application of the revised PFS/MFG net in a medium- size printer's factory.
Petri net, Production Flow Schema (PFS), Mark Flow Graph (MFG), discrete manufacturing systems.
All articles published by Studies in Informatics and Control (SIC) are published in accordance with the terms and conditions of the Creative Commons Attribution License (CC BY-NC-SA 4.0).