Skip to content
Free delivery across IndiaCash on delivery
BooksBajar
Cover of Coloured Petri Nets

Coloured Petri Nets

Modelling and Validation of Concurrent Systems

by Kurt Jensen, Lars M. Kristensen

Springer

₹4,757

Free delivery. Nothing extra to pay at checkout.

  • New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
  • Delivery in 3–7 days to any serviceable pincode in India, with tracking.
  • Cash on delivery. Pay when the parcel reaches you.
  • 15-day returns. See what qualifies.

From the publisher

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 possible nondeterminism and the immense number of possible execution sequences.

Description supplied by the publisher.

Book details

ISBN-13
9783642002830
ISBN-10
3642002838
Authors
Kurt Jensen, Lars M. Kristensen
Publisher
Springer
Condition
New

More by Kurt Jensen and related titles

See all