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

Coloured Petri Nets: Modelling and Validation of Concurrent Systems

Kurt Jensen, Lars M. Kristensen

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

Loading...

Content Warnings

Loading...
Accept and close

By using The StoryGraph, you agree to our use of cookies.
We use a small number of cookies to provide you with a great experience.

Find out more