×

Coloured Petri nets and the invariant-method. (English) Zbl 0475.68035


MSC:

68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Genrich, H. J.; Lautenbach, K., The analysis of distributed systems by means of predicate/transition-nets, (Kahn, G., Semantics of Concurrent Computation. Semantics of Concurrent Computation, Lecture Notes in Computer Science, 70 (1979), Springer: Springer Berlin), 123-146 · Zbl 0521.68055
[2] Jensen, K., A method to compare the descriptive power of different types of Petri nets, (Dembiński, P., Mathematical Foundations of Computer Science 1980. Mathematical Foundations of Computer Science 1980, Lecture Notes in Computer Science, 88 (1980), Springer: Springer Berlin), 348-361 · Zbl 0454.68051
[3] Lautenbach, K., Liveness in Petri nets, (Interner Bericht ISF-75-02.1 (1979), GMD Bonn) · Zbl 0454.68052
[4] Peterson, J. L., Petri nets, Comput. Surveys, 9, 3, 223-252 (1977) · Zbl 0357.68067
[5] Petri, C. A., Concepts of net theory, (Summer School on Mathematical Foundations of Computer Science (1973), Math. Inst. Slovak Academy of Science), 137-146, High Tatras 1973 · Zbl 1027.68642
[6] Petri, C. A., Interpretations of net theory, (Interner Bericht ISF-75-07 (1975), GMD Bonn) · Zbl 1027.68642
[7] Schiffers, M.; Wedde, H., Analyzing program solutions of coordination problems by CP-nets, (Winkowski, J., Mathematical Foundations of Computer Science 1978. Mathematical Foundations of Computer Science 1978, Lecture Notes in Computer Science, 64 (1978), Springer: Springer Berlin), 462-473 · Zbl 0392.68015
[8] Genrich, H. J.; Lautenbach, K., System modelling with high-level Petri nets, Theoret. Comput. Sci., 13, 109-136 (1981) · Zbl 0454.68052
[9] Jensen, K., How to find invariants for coloured Petri nets, (DAIMI PB-120 (1980), Aarhus University) · Zbl 0473.68056
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.