@inproceedings{8ea7b24f46bc4db9b727c20b2903ab19,
title = "Access/CPN 2.0 : a high-level interface to coloured Petri net models",
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.",
author = "M. Westergaard",
year = "2011",
doi = "10.1007/978-3-642-21834-7_19",
language = "English",
isbn = "978-3-642-21833-0",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "328--337",
editor = "L.M. Kristensen and L. Petrucci",
booktitle = "Applications and Theory of Petri Nets (32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings)",
address = "Germany",
}