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

Loading...

Content Warnings

Loading...