Abstract
This chapter contains an informal introduction to the analysis of CP-nets. The most straightforward kind of analysis is simulation, which in many respects is similar to the testing and execution of a program. A good CPN simulator is analogous to a good program debugger. It assists the user in a careful examination of some of the possible execution sequences.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Jensen, K. (1992). Formal Analysis of Coloured Petri Nets. In: Coloured Petri Nets. EATCS Monographs in Theoretical Computer Science. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-06289-0_5
Download citation
DOI: https://doi.org/10.1007/978-3-662-06289-0_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-06291-3
Online ISBN: 978-3-662-06289-0
eBook Packages: Springer Book Archive