DMCA
State Space Methods for Coloured Petri Nets (2000)
| Venue: | Department of Computer Science, University of Aarhus |
| Citations: | 4 - 0 self |
BibTeX
@TECHREPORT{Kristensen00statespace,
author = {Lars Michael Kristensen},
title = {State Space Methods for Coloured Petri Nets},
institution = {Department of Computer Science, University of Aarhus},
year = {2000}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
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 this 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 datastructures supporting computation and storage of state spaces which exploit the h...
