State Space Analysis of Hierarchical Coloured Petri Nets

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearch

  • Søren Christensen
  • Lars Michael Kristensen, Denmark
  • Willibrordus Martinus Pancratius van der Aalst, Eindhoven University of Technology, Netherlands
  • José-Manuel Colom, Centre Polytechnique Supérieur de l'Université de Saragosse, France
  • Fabrice Kordon, Université P. & M. Curie, France
  • Gabriela Kotsis, Univ. Linz, Austria
  • Daniel Moldt, Universität Hamburg Stadt, Germany
  • Department of Computer Science
In this paper, we consider state space analysis of Coloured Petri Nets. It is well-known that almost all dynamic properties of the considered system can be verified when the state space is finite. However, state space analysis is more than just formulating a set of formal requirements and invoking a corresponding set of queries. State space analysis is also applicable during the design and debugging of a system. An approach towards this is to allow the user to analyse the behaviour of systems by drawing and generating selected parts of the state space. The contribution of his paper is to present a tool in which formal verification, partial state spaces, and analysis by means of graphical feedback and simulation are integrated entities. The focus of the paper is twofold: the support for graphical feedback and the way it has been integrated with simulation, and the underlying algorithms and data-structures supporting computation and storage of state spaces which exploi the hierarchical structure of the models.
Original languageEnglish
JournalLINCOM Studies in Computer Science: LSCS 01: Petri Net Approaches for Modelling and Validation
Issue1
Pages (from-to)1-16
Number of pages17
Publication statusPublished - 2003

    Research areas

  • State Space Based Approaches, Efficient Model Checking, Tools, Coloured Petri Nets, Verification and Simulation, Validation

See relations at Aarhus University Citationformats

ID: 281179