In: TR-96-019, International Computer Science Institute, Berkeley, CA, pages 1-51. April 1996.
Abstract: Modular process nets are a graphical and formal notation for the representation of technical and business process models containing concurrent activities. Originally developed for modeling, analysis, simulation and control of workflows and computer-based process control systems, this class of Petri nets is also suitable for use in all other areas where a formal but comprehensible description of complex processes is needed. Modular process nets are low-level Petri nets equipped with module and communication concepts and optionally enhanced by the use of a task concept, a method known from the areas of computer-supported cooperative work (CSCW) and workflow management. The module concept is part of a more general (``object-based'') approach to Petri nets allowing several types of abstraction, whereas the main points of elementary process nets are synchronous and asynchronous communication between separately interpreted net instances via events and token passing.
Keywords: modular process nets; Petri nets; workflow management; CSCW.