ProM Package Documentation: Cosimulation

This post has 240 words. Reading it will take approximately 1 minute.

GD Star Rating
loading...

This is documentation for my Cosimulation plug-in. Related posts:

Simple demo of early version of the plug-in
More advanced demo of this plug-in
Suggestion for improvement of ProM Orchestration plug-in
Presentation explaining background for plug-in

Paper describing this plug-in:

M. Westergaard, “Access/CPN 2.0: A High-Level Interface to Coloured Petri Net Models,” in Applications and Theory of Petri Nets, L. M. Kristensen and L. Petrucci, Eds., Springer Berlin / Heidelberg, 2011, vol. 6709, pp. 328-337.
[Bibtex]

@incollection{accesscpn2,
author = {Westergaard, Michael},
affiliation = {Department of Mathematics and Computer Science, Eindhoven University of Technology, The Netherlands},
title = {Access/CPN 2.0: A High-Level Interface to Coloured Petri Net Models},
booktitle = {Applications and Theory of Petri Nets},
series = {Lecture Notes in Computer Science},
editor = {Kristensen, Lars Michael and Petrucci, Laure},
publisher = {Springer Berlin / Heidelberg},
isbn = {},
pages = {328-337},
volume = {6709},
doi = {10.1007/978-3-642-21834-7_19},
note = {10.1007/978-3-642-21834-7_19},
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.},
year = {2011}
}