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