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

Πίνακας περιεχομένων:

• to Modelling and Validation
• Non-hierarchical Coloured Petri Nets
• CPN ML Programming
• Formal Definition of Non-hierarchical Coloured Petri Nets
• Hierarchical Coloured Petri Nets
• Formal Definition of Hierarchical Coloured Petri Nets
• State Spaces and Behavioural Properties
• Advanced State Space Methods
• Formal Definition of State Spaces and Behavioural Properties
• Timed Coloured Petri Nets
• Formal Definition of Timed Coloured Petri Nets
• Simulation-based Performance Analysis
• Behavioural Visualisation
• Examples of Industrial Applications
• Teaching Coloured Petri Nets.