Advertisement

Formal Analysis of Coloured Petri Nets

  • Kurt Jensen
Part of the Monographs in Theoretical Computer Science. An EATCS Series book series (EATCS)

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.

Keywords

Reduction Rule Process Control System Transition Invariant Full Graph Data Base System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Kurt Jensen
    • 1
  1. 1.Computer Science DepartmentAarhus UniversityAarhus CDenmark

Personalised recommendations