Composing abstractions of coloured petri nets

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

Volumn 1825, Issue , 2000, Pages 323-342

  Lakos, Charles ^a  

^a UNIVERSITY OF ADELAIDE   (Australia)

Author keywords

Abstraction; Refinement; Theory of high level petri nets

Indexed keywords

ABSTRACTING;

ABSTRACTION; CANONICAL FORM; COLOURED PETRI NETS; COMPOSITIONALITY; HIGH-LEVEL PETRI NETS; NET COMPONENT; NODE REFINEMENT; REFINEMENT;

PETRI NETS;

EID: 84947211898     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44988-4_19     Document Type: Conference Paper

References (18)

1. B. Baumgarten Petri-Netze: Grundlagen und Anwendungen Wissenschaftsverlag (1990).
2. L. Cardelli and J.C. Mitchell Operations on Records Mathematical Foundations of Programming Semantics, Lecture Notes in Computer Science 442, Springer Verlag (1989).
3. J. Desel and A. Merceron Vicinity Respecting Net Morphisms Advances in Petri Nets 1990, G. Rozenberg (ed.), Lecture Notes in Computer Science 483, pp 165-185, Springer-Verlag (1990).
4. J. Desel and A. Merceron Vicinity Respecting Homomorphisms for Abstracting System Requirements Report 337, Universität Karlsruhe (1996).
5. A. Diller Z: An Introduction to Formal Methods 2nd edn., Wiley (1994).
6. R. Fehling A Concept of Hierarchical Petri Nets with Building Blocks Advances in Petri Nets 1993, G. Rozenberg (ed.), Lecture Notes in Computer Science, pp 148-168, Springer-Verlag (1993).
7. H.J. Genrich A Dictionary of Some Basic Notions of Net Theory Net Theory and Applications, W. Brauer (ed.), Lecture Notes in Computer Science 84, pp 519-535, Springer-Verlag (1980).
8. H.J. Genrich Predicate/Transition Nets Advances in Petri Nets 1986–Part 1, W. Brauer, W. Reisig, and G. Rozenberg (eds.), Lecture Notes in Computer Science 254, Springer-Verlag (1987).
9. K. Jensen Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use–Volume 1: Basic Concepts EATCS Monographs in Computer Science, Vol. 26, Springer-Verlag (1992).
10. K. Jensen, S. Christensen, P. Huber, and M. Holla Design/CPN™: A Reference Manual MetaSoftware Corporation (1992).
11. C. Lakos and G. Lewis A Catalogue of Incremental Changes for Coloured Petri Nets Technical Report TR99-02, Department of Computer Science, University of Adelaide (1999).
12. C.A. Lakos On the Abstraction of Coloured Petri Nets Proceedings of 18th International Conference on the Application and Theory of Petri Nets, Lecture Notes in Computer Science 1248, pp 42-61, Toulouse, France, Springer-Verlag (1997).
13. C.A. Lakos The Compositionality of Abstraction for Coloured Petri Nets Technical Report TR99-01, Department of Computer Science, University of Adelaide (1999).
14. G. Lewis and C. Lakos Incremental Reachability Algorithms Technical Report TR99-1, Department of Electrical Engineering and Computer Science, University of Tasmania (1999).
15. J. Meseguer and U. Montanari Petri Nets are Monoids Information and Computation, 88, 2, pp 105-155 (1990).
16. C.A. Petri Introduction to General Net Theory Net Theory and Applications, W. Brauer (ed.), Lecture Notes in Computer Science 84, pp 1-19, Springer-Verlag (1980).
17. W. Reisig Petri Nets in Software Engineering Advances in Petri Nets 1986–Part 2, W. Brauer, W. Reisig, and G. Rozenberg (eds.), Lecture Notes in Computer Science 255, pp 63–96, Springer-Verlag (1987).
18. G. Winskel Petri Nets, Algebras, Morphisms, and Compositionality Information and Computation, 72, pp 197-238 (1987).