The importance of modeling and performance evaluation for the design of manufacturing systems is obvious. A new modeling method based on Colored Petri Nets is introduced in this paper, which is especially tailored to manufacturing systems. We propose the separate modeling of the manufacturing system's structure and the production routes with dedicated colored Petri nets. After an automatic comp...

This paper presents an approach for transforming UML class diagrams and extended sequence diagrams into Colored Petri Nets. In the field of software model, UML has become a widely used software modeling language. However, as a semi-formal language, UML lacks a precise formal semantic base for its notation. In this paper, Colored Petri Nets are taken as the formal language for UML models' analys...

TCPNIA (Timed Colored Petri Nets with Inhibitor Arcs, TCPNIA) is a model for specifying real-time embedded systems. It integrates features of colored Petri nets, timed Petri nets and inhibitor arcs. The methods for modeling modules of systems using TCPNIA are proposed. A depth-first scheduling algorithm for TCPNIA is proposed. The system level resource’s influence to schedulable path is conside...

Petri nets have been widely used to model and analyze biochemical reaction networks. This chapter gives an overview of di↵erent types of Petri nets within a unifying Petri net framework that comprises the qualitative, stochastic, continuous and hybrid paradigms at both uncolored and colored levels. The Petri net framework permits to investigate one and the same biological reaction network with ...

This paper presents KRON Knowledge Representation Ori ented Nets a knowledge representation schema for discrete event sys tems DESs KRON enables the representation and use of a variety of knowledge about a DES static structure and its dynamic states and be havior It is based on the integration of Colored Petri nets with frame based representation techniques and follows the object oriented parad...

Concurrent software systems are growing increasingly large and complex; the risks associated with poor design and architectural choices are increasing as well. Building executable prototypes can help identify problems early and Colored Petri Nets are well suited to this purpose. This paper presents an approach to modeling reusable threadsafe passive entity objects in Colored Petri Nets, includi...