Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Kurt Jensen, Lars Michael Kristensen, Lisa Wells. Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. STTT, 9(3-4):213-254, 2007. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Coloured Petri Nets - Modelling and Validation of Concurrent SystemsKurt Jensen, Lars Michael Kristensen. Springer, 2009. [doi] Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri NetsLars Michael Kristensen, Kurt Jensen. topnoc, 1:19-34, 2008. [doi] Design/CPN - A Computer Tool for Coloured Petri NetsSøren Christensen, Jens Bæk Jørgensen, Lars Michael Kristensen. TACAS 1997: 209-223 MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri NetsRui Wang, Lars Michael Kristensen, Volker Stolz. vecos 2018: 97-113 [doi]
The following publications are possibly variants of this publication: