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

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Auteurs principaux: Jensen, Kurt (Auteur), Kristensen, Lars M. (Auteur)
Collectivité auteur: SpringerLink (Online service)
Format: Électronique eBook
Langue:Inglés
Publié: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Édition:1st ed. 2009.
Sujets:
Software engineering.
Computer science.
Computer simulation.
Computer engineering.
Computer networks .
Software Engineering.
Theory of Computation.
Computer Modelling.
Computer Engineering and Networks.
Accès en ligne:Texto Completo

Internet

Texto Completo

Items no disponibles

Informations d'exemplaires de

Documents similaires