Coloured Petri Nets Modelling and Validation of Concurrent Systems /

• Κύριοι συγγραφείς: Jensen, Kurt (Συγγραφέας), Kristensen, Lars M. (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
• Θέματα: 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...