The Access/CPN framework: A tool for interacting with the CPN tools simulator. 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

References in zbMATH (referenced in 6 articles )

Showing results 1 to 6 of 6.
Sorted by year (citations)

  1. Le, Dinh-Thuan; Nguyen, Huu-Vu; Nguyen, Van-Tinh; Mai, Phuong-Nam; Pham-Duy, Bao-Trung; Quan, Thanh-Tho; Andr√©, √Čtienne; Petrucci, Laure; Liu, Yang: PeCAn: compositional verification of Petri nets made easy (2014)
  2. Nakatumba, Joyce; Westergaard, Michael; van der Aalst, Wil M. P.: An infrastructure for cost-effective testing of operational support algorithms based on colored Petri nets (2012) ioport
  3. Westergaard, Michael: Access/CPN 2.0: a high-level interface to coloured Petri net models (2011) ioport
  4. Westergaard, Michael; Maggi, Fabrizio M.: Modeling and verification of a protocol for operational support using coloured Petri nets (2011)
  5. Kristensen, Lars M.: A perspective on explicit state space exploration of coloured Petri nets: past, present, and future (2010)
  6. Westergaard, Michael; Kristensen, Lars Michael: The Access/CPN framework: a tool for interacting with the CPN tools simulator (2009) ioport

Further publications can be found at: