The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator

  • Michael Westergaard
  • Lars Michael Kristensen
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5606)


Coloured Petri nets (CP-nets or CPNs) is a widely used formalism for describing concurrent systems. CPN Tools provides a mature environment for constructing, simulating, and performing analysis of CPN models. CPN Tools also has limitations if, for example, one wishes to extend the analysis capabilities or to integrate CPN models into external applications. In this paper we present Access/CPN, a framework that facilitates such extensions. Access/CPN consists of two interfaces: one written in Standard ML, which is very close to the simulator component of CPN Tools, and one written in Java, providing an object-oriented representation of CPN models, a means to load models created using CPN Tools, and an interface to the simulator. We illustrate Access/CPN by providing the complete implementation of a simple command-line state space exploration tool.


Object Model Eclipse Modeling Framework Substitution Transition Automatic Code Generation Java Interface 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
  2. 2.
    CPN Tools webpage,
  3. 3.
    Eclipse Modelling Framework (EMF),
  4. 4.
    Espersen, K.L., Kjeldsen, M.K.: Automatic Code Generation from Process-Partitioned Coloured Petri Net Models. Master’s thesis, Dept. of Computer Science, University of Aarhus (2008)Google Scholar
  5. 5.
    Modeling and Simulation High Level Architecture. IEEE-1516Google Scholar
  6. 6.
    ISO/JTC1/SC7/WG19. Software and System Engineering—High-level Petri nets—Part 2: Transfer Format, version 1.1.5Google Scholar
  7. 7.
    Kindler, E., Weber, M.: A universal module Concept for Petri nets. In: Proc. des 8.Workshops Algorithmen und Werkzeuge fr Petrinetze, pp. 7–12 (2001)Google Scholar
  8. 8.
    Kristensen, L.M., Mechlenborg, P., Zhang, L., Mitchell, B., Gallasch, G.E.: Model-based Development of a Course of Action Scheduling Tool. STTT 10(1), 5–14 (2007)CrossRefGoogle Scholar
  9. 9.
    Kristensen, L.M., Westergaard, M.: The ASCoVeCo State Space Analysis Platform. In: Proc. of 8th CPN Workshop. DAIMI-PB, vol. 584, pp. 1–6 (2007)Google Scholar
  10. 10.
    Lindstrøm, B.: Web-based interfaces for simulation of coloured petri net models. STTT 3(4), 405–416 (2001)zbMATHGoogle Scholar
  11. 11.
    Weber, M., Kindler, E.: The Petri Net Kernel. In: Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol. 2472, pp. 109–123. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  12. 12.
    Westergaard, M., Lassen, K.B.: The BRITNeY Suite Animation Tool. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol. 4024, pp. 431–440. Springer, Heidelberg (2006)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Michael Westergaard
    • 1
  • Lars Michael Kristensen
    • 2
  1. 1.Department of Computer ScienceAarhus UniversityDenmark
  2. 2.Department of Computer EngineeringBergen University CollegeNorway

Personalised recommendations