
Cautious Beginnings
Kurt Jensen
₹3,047

Modeling and Validation of Concurrent Systems
by Kurt Jensen, Lars M. Kristensen
Springer · 2009
Free delivery. Nothing extra to pay at checkout.
Coloured Petri Nets: Modeling and Validation of Concurrent Systems is written by Kurt Jensen & Lars M. Kristensen. This edition from Springer (2009) has 384 pages.
The book deals with Petri nets.