Coloured Petri Nets Modelling and Validation of Concurrent Systems /

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Jensen, Kurt (Autor), Kristensen, Lars M. (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Edición:1st ed. 2009.
Temas:
Software engineering.
Computer science.
Computer simulation.
Computer engineering.
Computer networks .
Software Engineering.
Theory of Computation.
Computer Modelling.
Computer Engineering and Networks.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares