Coloured Petri Nets Modelling and Validation of Concurrent Systems /

• Main Authors: Jensen, Kurt (Author), Kristensen, Lars M. (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
• Subjects: Computer science.; Computer organization.; Software engineering.; Computers.; Computer simulation.; Computer Science.; Software Engineering/Programming and Operating Systems.; Computation by Abstract Devices.; Simulation and Modeling.; Software Engineering.; Computer Systems Organization and Communication Networks.

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