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.
This is a preview of subscription content, log in via an institution to check access.
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
Cabac, L., Denz, N.: Net Components for the Integration of Process Mining into Agent-Oriented Software Engineering. In: ToPNoC. LNCS, vol. 5100, pp. 86–103. Springer, Heidelberg (2008)
CPN Tools webpage, cpntools.org .
Gallasch, G., Kristensen, L.M.: A Communication Infrastructure for External Communication with Design/CPN. In: Proc. of Third CPN Workshop. DAIMI-PB, vol. 554, pp. 79–93 (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)
Kummer, O., Moldt, D., Wienberg, F.: Symmetric Communication between Coloured Petri Net Simulations and Java-Processes. In: Donatelli, S., Kleijn, J. (eds.) ICATPN 1999. LNCS, vol. 1639, pp. 690–690. Springer, Heidelberg (1999)
Lindstrøm, B., Wagenhals, L.W.: Operational Planning using Web-Based Interfaces to a Coloured Petri Net Simulator of Influence Nets. In: Proc. of Formal Methods Applied to Defence Systems. CRPIT, vol. 12, pp. 115–124 (2002)
Lindstrøm, B., Wells, L.: Towards a Monitoring Framework for Discrete-Event System Simulations. In: Proc. of WODES 2002, pp. 127–134. IEEE Computer Society Press, Los Alamitos (2002)
Morse, K.L., Lightner, M., Little, R., Lutz, B., Scrudder, R.: Enabling Simulation Interoperability. Computer 39(1), 115–117 (2006)
Process mining webpage, processmining.org .
Rasmussen, J.L., Singh, M.: Mimic/CPN. A Graphical Simulation Utility for Design/CPN. User’s Manual, http://www.daimi.au.dk/designCPN
Renew webpage, renew.de .
Westergaard, M.: Game Coloured Petri Nets. In: Proc. of 7th CPN Workshop. DAIMI-PB, vol. 579, pp. 281–300 (2006)
Westergaard, M., Kristensen, L.M.: The Access/CPN Framework: A Tool for Interacting With the CPN Tools Simulator. In: Franceschinis, G., Wolf, K. (eds.) PETRI NETS 2009. LNCS, vol. 5606, pp. 313–322. Springer, Heidelberg (2009)
Westergaard, M., Kristensen, L.M., Kuusela, M.: A Prototype for Cosimulating SystemC and Coloured Petri Net Models. In: Proc. of 10th CPN Workshop. DAIMI-PB, vol. 590, pp. 1–19 (2009)
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
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Westergaard, M. (2011). Access/CPN 2.0: A High-Level Interface to Coloured Petri Net Models. In: Kristensen, L.M., Petrucci, L. (eds) Applications and Theory of Petri Nets. PETRI NETS 2011. Lecture Notes in Computer Science, vol 6709. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21834-7_19
Download citation
DOI: https://doi.org/10.1007/978-3-642-21834-7_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21833-0
Online ISBN: 978-3-642-21834-7
eBook Packages: Computer ScienceComputer Science (R0)