CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets

Anne V. Ratzer, Lisa Wells, Henry Michael Lassen, Mads Laursen, Jacob Frank Qvortrup, Martin Stig Stissing, Michael Westergaard, Søren Christensen, Kurt Jensen. CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets. In Wil M. P. van der Aalst, Eike Best, editors, Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings. Volume 2679 of Lecture Notes in Computer Science, pages 450-462, Springer, 2003. [doi]

Abstract

Abstract is missing.