CPN tools 4: multi-formalism and extensibility

Authors:
Michael Westergaard
Affiliations:
Department of Mathematics and Computer Science, Eindhoven University of Technology, The Netherlands,Higher School of Economics, National Research University, Moscow, Russia
Venue:
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
Year:
2013

Citing 10
Cited 0

Place or Transition Petri Nets

Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Operational planning using web-based interfaces to a coloured petri net simulator of influence nets

CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
Model-based development of a course of action scheduling tool

International Journal on Software Tools for Technology Transfer (STTT)
ASAP: An Extensible Platform for State Space Analysis

PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator

PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Coloured Petri Nets: Modelling and Validation of Concurrent Systems

Coloured Petri Nets: Modelling and Validation of Concurrent Systems
Generating Petri net state spaces

ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
The ePNK: an extensible petri net tool for PNML

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
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

Quantified Score

Hi-index	0.00

Visualization

Abstract

CPN Tools is an advanced tool for editing, simulating, and analyzing colored Petri nets. This paper discusses the fourth major release of the tool, which makes it simple to use the tool for ordinary Petri nets, including adding inhibitor and reset arcs, and PNML export. This version also supports declarative modeling using constraints, and adds an extension framework making it easy for third parties to extend CPN Tools using Java.