Coloured Petri Nets: Modelling and Validation of Concurrent Systems

Kristensen

von: Kurt Jensen · Lars M. Kristensen

Gebunden

EAN=ISBN-13: 978-3-642-00283-0

ISBN-10: 3-642-00283-8

Springer · 2009