Orthogonal transformations for coloured petri nets

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

Volumn 1248, Issue , 1997, Pages 447-466

  Best, Eike ^a   Thielke, Thomas ^b  

^a UNIVERSITY OF OLDENBURG   (Germany)

^b UNIVERSITY OF HILDESHEIM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

COLOURED PETRI NETS; FOLDING AND UNFOLDING; LINEAR-ALGEBRAIC; ORTHOGONAL TRANSFORMATIONS;

PETRI NETS;

EID: 84958975905     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63139-9_50     Document Type: Conference Paper

References (13)

1. B. Baumearten: Petri-Netze. Grundlagen und Anwendungen. BI-Wissenschaftsverlag (1990).
2. E. Best: Semantics of Sequential and Parallel Programs. Prentice Hall International Series in Computer Science (1996).
3. E. Best, H. Fleischhack, W. Fŗczak, R.P. Hopkins, H. Klaudel and E. Pelz: A Class of Composable High Level Petri Nets. Petri Net Conference’95, Torino, G. De Michelis, M. Diaz (eds). Springer-Verlag, Lecture Notes in Computer Science Vol. 935, 103-120 (1995).
4. K. Döpp: Bemerkungen über gefärbte Petrinetze. Petri Net Newsletter 47, Gesellschaft für Informatik, Bonn (1994).
5. H. Genrich: Predicate-transition Nets. Advances in Petri Nets 86, Part I, W. Brauer, W. Reisig and G. Rozenberg (eds). Springer-Verlag, Lecture Notes in Computer Science Vol. 254, 207-247 (1987).
6. K. Jensen: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 1. EATCS Monographs on Theoretical Computer Science, Springer-Verlag (1992).
7. R.E. Kent: Introduction to Dialectical Nets. Proc. of 25th Annual Allerton Conference on Communication, Control and Computation. Univ. of Illinois, Monticello, 1204-1213 (1987).
8. W. Reisig: Petri Nets. An Introduction. EATCS Monographs on Theoretical Computer Science Vol. 4, Springer-Verlag (1985).
9. W. Reisig: Petri Nets and Algebraic Specifications. Theoretical Computer Science Vol. 80, 1-34 (1991).
10. K. Schmidt: Symbolische Analysealgorithmen für algebraische Petrinetze. Dissertation (December 1995).
11. E. Smith and W. Reisig: The Semantics of a Net is a Net - an Exercise in General Net Theory. Concurrency and Nets. K. Voss, H.J. Genrich, G. Rozenberg (eds). Springer-Verlag, 461-480 (1987).
12. G. Stiege: Equivalences of Coloured Petri Nets. Hildesheimer Informatik-Berichte 24/96 (1996).
13. J. Vautherin: Parallel Systems Specification with Coloured Petri Nets and Algebraic Specifications. Advances in Petri Nets 87, G. Rozenberg (ed.). Springer-Verlag, Lecture Notes in Computer Science Vol. 266, 293-308 (1987).