Timed Coloured Petri Nets and Their Application to Logistics

摘要

The modeling and analysis of complex logistic systems are studied. An approachbased on a timed colored Petri net model is presented. The Petri net concept meets the requirements set out by the distributed nature of a logistic system. The addition of color and time enables the modeling of data structures and a complex temporal behavior. A major advantage compared to other methods is the availability of various kinds of analysis. The interval timed colored Petri nets model is described. The semantics of this model is given in terms of a transition system. To do this, some basic notations and concepts are introduced. Three of the four analysis methods, developed to analyze interval timed colored Petri nets, are presented. These methods are compared with existing analysis methods. It is shown how these methods can be used to analyze interval timed colored Petri nets with large color sets. The language ExSpect and the tools developed to support this language are described. The field of logistics and the application of Petri nets to logistic problems are presented. A library containing logistic building blocks is included. The usefulness of the approach is discussed.