Abstract
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.
Supported by the Danish Research Council for Technology and Production.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Access/CPN download, http://www.daimi.au.dk/~ascoveco/accesscpn/
CPN Tools webpage, www.daimi.au.dk/CPNTools/
Eclipse Modelling Framework (EMF), www.eclipse.org/modeling/emf/
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)
Modeling and Simulation High Level Architecture. IEEE-1516
ISO/JTC1/SC7/WG19. Software and System Engineering—High-level Petri nets—Part 2: Transfer Format, version 1.1.5
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)
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)
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)
Lindstrøm, B.: Web-based interfaces for simulation of coloured petri net models. STTT 3(4), 405–416 (2001)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Westergaard, M., Kristensen, L.M. (2009). The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator. In: Franceschinis, G., Wolf, K. (eds) Applications and Theory of Petri Nets. PETRI NETS 2009. Lecture Notes in Computer Science, vol 5606. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02424-5_19
Download citation
DOI: https://doi.org/10.1007/978-3-642-02424-5_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02423-8
Online ISBN: 978-3-642-02424-5
eBook Packages: Computer ScienceComputer Science (R0)