Coloured Petri Nets: Modelling and Validation of Concurrent Systems by Lars M. Kristensen, Kurt Jensen

Coloured Petri Nets: Modelling and Validation of Concurrent Systems

Lars M. Kristensen, Kurt Jensen

384 pages missing pub info (editions)

nonfiction computer science mathematics science challenging informative medium-paced
Powered by AI (Beta)
Loading...

Description

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 in...

Read more

Community reviews

This book doesn't have any reviews or ratings yet!

If you've read it, mark it as 'read' and add a review to help others in the StoryGraph community figure out if it might be a book for them!

Content Warnings

This book doesn't have any content warnings yet!

If you're the author of this book and want to add author-approved content warnings, please email us at [email protected] to request the content warning form.