Cargando…

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:
Acceso en línea:Texto Completo