Access/CPN 2.0: a high-level interface to coloured petri net models

Authors:
Michael Westergaard
Affiliations:
Department of Mathematics and Computer Science, Eindhoven University of Technology, The Netherlands
Venue:
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
Year:
2011

Citing 8
Cited 3

Symmetric Communication between Coloured Petri Net Simulations and Java-Processes

Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Towards a Monitoring Framework for Discrete-Event System Simulations

WODES '02 Proceedings of the Sixth International Workshop on Discrete Event Systems (WODES'02)
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
Enabling Simulation Interoperability

Computer
Model-based development of a course of action scheduling tool

International Journal on Software Tools for Technology Transfer (STTT)
Net Components for the Integration of Process Mining into Agent-Oriented Software Engineering

Transactions on Petri Nets and Other Models of Concurrency I
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
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

Data and abstraction for scenario-based modeling with petri nets

PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
An infrastructure for cost-effective testing of operational support algorithms based on colored petri nets

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

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper introduces Access/CPN 2.0, which extends Access/ CPN with high-level primitives for interacting with coloured Petri net (CPN) models in Java programs. The primitives allow Java programs to monitor and interact with places and transitions during execution, and embed entire programs as subpages of CPN models or embed CPN models as parts of programs. This facilitates building environments for systematic testing of program components using a CPN models. We illustrate the use of Access/CPN 2.0 in the context of business processes by embedding a workflow system into a CPN model.