Model-based development of a course of action scheduling tool
International Journal on Software Tools for Technology Transfer (STTT)
The BRITNeY suite animation tool
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Automatic structure-based code generation from coloured Petri nets: a proof of concept
FMICS'10 Proceedings of the 15th international conference on Formal methods for industrial critical systems
A formal model for performance and energy evaluation of embedded systems
EURASIP Journal on Embedded Systems - Special issue on networked embedded systems for energy management and buildings
Modeling and verification of a protocol for operational support using coloured petri nets
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
Access/CPN 2.0: a high-level interface to coloured petri net models
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
A perspective on explicit state space exploration of coloured petri nets: past, present, and future
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
A virtual deployment testing environment for enterprise software systems
Proceedings of the 8th international ACM SIGSOFT conference on Quality of Software Architectures
Combining VDM with executable code
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
CPN assistant II: a tool for management of networked simulations
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
CPN tools 4: multi-formalism and extensibility
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
Hemojuvelin-hepcidin axis modeled and analyzed using Petri nets
Journal of Biomedical Informatics
| Hi-index | 0.00 |
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.