Coloured Petri Nets: Modelling and Validation of Concurrent Systems
Book Details
Author(s)Kurt Jensen, Lars M. Kristensen
PublisherSpringer
ISBN / ASIN364242581X
ISBN-139783642425813
MarketplaceUnited Kingdom 🇬🇧

