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

Internet

Texto Completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares