Coloured Petri Nets: Modelling and Validation of Concurrent Systems
Year: 2009
Type: article
DOI: 10.1007/b95112
Authors: Kurt Jensen, Lars Michael Kristensen
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W1568573127