|
George Mason University - FALL 2010 | ||
Section 001 | ||
Coloured Petri Nets: Modelling and Validation of Concurrent Systems by Kurt Jensen, Lars M. Kristensen Hardcover, 384 Pages, Published 2009 ISBN-10: 3-642-00283-8 / 3642002838 ISBN-13: 978-3-642-00283-0 / 9783642002830 Coloured Petri Nets (CPN) is a graphical language for modelling and validating concurrent and distributed systems, and other systems in which concurrency plays a major role. The development of such systems is particularly challenging because of inherent intricacies like p |