In: Proc. Workshop on the Applicability of Formal Models, 2 June 1998, Aarhus, Denmark, pages 55-58. 1998.
Abstract: Colored Petri nets (CPNs) is a graphical-oriented language for the design, specification, simulation and verification of systems. It is particularly well-suited for systems in which communication, synchronization and resource sharing are important. Typical examples of application areas are communication protocols, distributed systems, embedded systems, automated production systems, workflow analysis and VLSI chips. The development of CPNs has been driven by the desire to develop a modeling language which is at the same time theoretically well-founded and versatile enough to be used in practice for systems of the size and complexity we find in typical industrial projects. To achieve this the strength of Petri nets has been combined with the strength of programming languages. Petri nets provide the primitives for the description of synchronization of concurrent processes, while programming languages provide the primitives for the definition of the data types and the manipulation of data values.
Keywords: colored Petri nets, formal models.