Incremental state space construction for coloured petri nets

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

Volumn 2075, Issue , 2001, Pages 263-282

  Lewis, Glenn ^a   Lakos, Charles ^b  

^a UNIVERSITY OF TASMANIA   (Australia)

^b UNIVERSITY OF ADELAIDE   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

ABSTRACT MODELING; COLOURED PETRI NETS; INCREMENTAL ALGORITHM; INCREMENTAL DEVELOPMENT; INCREMENTAL STATE SPACE CONSTRUCTION; STANDARD ALGORITHMS; STATE-SPACE ANALYSIS; STATE-SPACE EXPLOSION;

PETRI NETS;

EID: 77953802501     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45740-2_16     Document Type: Conference Paper

References (12)

1. S. Christensen and L. Petrucci. Modular Analysis of Petri Nets. The Computer Journal, 43(3): 224-242, 2000.
2. S. Gordon and J. Billington. Analysing a Missile Simulator using Coloured Petri Nets. International Journal on Software Tools for Technology Transfer, 2(2): 144-159, December 1998.
3. K. Jensen. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use: Volume 1, Analysis Methods. Monographs in Theoretical Computer Science. Springer-Verlag, 1992.
4. K. Jensen. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use: Volume 2, Analysis Methods. Monographs in Theoretical Computer Science. Springer-Verlag, 1995.
5. C.A. Lakos. Composing Abstractions of Coloured Petri Nets. In 21st International Conference on Application and Theory of Petri Nets (ICATPN'2000) Aarhus, Denmark, June 25-29, 2000, volume 1825 of Lecture Notes in Computer Science, pages 323-342, June 2000.
6. C.A. Lakos and J. Lamp. The Incremental Modelling of the Z39.50 Protocol with Object Petri Nets. In J. Billington, M. Diaz, and G. Rozenberg, editors, Application of Petri nets to Communication Networks: Advances in Petri Nets, volume 1605 of Lecture Notes in Computer Science, pages 37-68. Springer-Verlag, 1999.
7. G.A. Lewis. An Incremental Perspective - Incremental Development and Incremental Analysis in the Context of Coloured Petri Nets. PhD thesis, Department of Computing, University of Tasmania, Hobart, Tasmania, Australia. (to be submitted).
8. M. Mäkelä. Maria - Modular Reachability Analyzer for Many-Sorted Petri Nets. Helsinki University of Technology, Espoo, Finland, 1999. version 0.1.
9. M. Mäkelä. A Reachability Analyser for Algebraic System Nets. Licentiate thesis, Helsinki University of Technology, Theoretical Computer Science Laboratory, Espoo, Finland, March 2000.
10. A. Valmari. The State Explosion Problem. In W. Reisig and G. Rozenberg, editors, Lectures on Petri Nets I: Advances in Petri Nets, volume 1491 of Lecture Notes in Computer Science, pages 429-528. Springer-Verlag, 1998.
11. K. Varpaaniemi, J. Halme, K. Hiekkanen, and T. Pyssysalo. PROD reference manual. Technical Report B13, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, August 1995.
12. W. Vogler, W. Brauer, and R. Gold. A Survey of Behaviour and Equivalence Preserving Refinements of Petri Nets. In Advances in Petri Nets 1990, volume 483 of Lecture Notes in Computer Science, pages 1-46. Springer-Verlag, 1991.