Coloured petri nets extended with place capacities, test arcs and inhibitor arcs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 691 LNCS, Issue , 1993, Pages 186-205

  Christensen, Søren ^a   Damgaard, Niels ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

ANALYSIS METHOD; COLOURED PETRI NETS; CP-NETS; INHIBITOR ARCS; MULTI-SET; NET FRAMEWORK;

PETRI NETS;

EID: 85029434486     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-56863-8_47     Document Type: Conference Paper

References (9)

1. J. Billington: Extending Coloured Petri Nets. University of Cambridge, Computer Laboratory, Technical Report No. 148, October 1988. (Ph.D. Thesis).
2. S. Christensen, N. Damgaard Hansen: Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs. Daimi PB-398, ISSN 0105-8517, May 1992. Available as: Daimi PB-398, ISSN 0105-8517, May 1992.
3. G. Chiola, S. Donatelli and G. Franceschinis. Priorities, Inhibitor Arcs and Concurrency in P/T Nets. Proceedings of the 12th International Conference on Application and Theory of Petri Nets, Aarhus 1991, 182–205.
4. R. Devillers: The Semantics of Capacities in P/T Nets. In: G. Rozenberg (ed.): Advances in Petri Nets 1989. Lecture Notes in Computer Science, vol. 424. Springer-Verlag, 1989, pp. 128–150.
5. H.J. Genrich: Predicate/Transition nets. In: W. Brauer, W. Reisig and G. Rozenberg (eds.): Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986 Part I, Lecture Notes in Computer Science vol. 254, Springer-Verlag 1987, 207–247.
6. H.J. Genrich, K. Lautenbach and P.S. Thiagarajan: Elements of general net theory. In: W. Brauer (ed.): Net theory and applications. Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg 1979, Lecture Notes in Computer Science vol. 84, Springer-Verlag 1980, 21–163.
7. K. Jensen: Coloured Petri nets: A high level language for system design and analysis. In: G. Rozenberg (ed.): Advances in Petri Nets 1990. Lecture Notes in Computer Science, vol. 383. Springer-Verlag, 1990, pp. 342–416.
8. K. Jensen: Coloured Petri nets. Basic concepts, analysis methods and practical use. Volume 1: Basic concepts. EATCS monographs on Theoretical Computer Science, Springer-Verlag 1992.
9. W. Reisig: Petri Nets. An introduction. EATCS Monographs on Theoretical Computer Science, Vol. 4, ISBN 3-540-13723-8 or 0-387-13723-8, Springer-Verlag, 1985.