zbMATH — the first resource for mathematics

Timed coloured Petri nets and their application to logistics. (English) Zbl 0753.68077
Eindhoven: TU, III, 267 p. (1992).
The book contains six chapters. The second and the third ones are devoted to the theory of the (interval) time coloured Petri nets and to the analysis of time in these nets. It must be noted that this theory, which is an extension of the theories of time- and of coloured Petri nets, is a personal achievement of the author. The language and the tool for the program realization of these nets are discussed in the fourth chapter, and in the fifth one are discussed the basic problems related to the modelling of logistic systems. The monography is very interesting and it augments the small number (for the present) of books on the theory of Petri nets and their modifications.

68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68-02 Research exposition (monographs, survey articles) pertaining to computer science