Limitar la búsqueda a ejemplares disponibles

Cubierta del libro
Autor Cheung, King Sing. author.

Título Augmented Marked Graphs [electronic resource] / by King Sing Cheung.

Descripción física XIV, 150 p. 82 illus. online resource.
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
text file PDF rda
Colección Springer eBooks. Computer Science
       Mostrar referencias similares
Contiene: Introduction -- Petri Nets -- Augmented Marked Graphs -- Proper Augmented Marked Graphs -- Composition of Augmented Marked Graphs -- Modelling and Analysis -- Component-Based System Integration -- Manufacturing System Integration -- Conclusion -- App. A, Properties of Augmented Marked Graphs -- App. B, Algorithms for Checking the Properties of Augmented Marked Graphs -- Index References.
Resumen: Petri nets are a formal and theoretically rich model for the modelling and analysis of systems. A subclass of Petri nets, augmented marked graphs possess a structure that is especially desirable for the modelling and analysis of systems with concurrent processes and shared resources. This monograph consists of three parts: Part I provides the conceptual background for readers who have no prior knowledge on Petri nets; Part II elaborates the theory of augmented marked graphs; finally, Part III discusses the application to system integration. The book is suitable as a first self-contained volume on augmented marked graphs, and will be useful to both researchers and practitioners in the fields of Petri nets and system integration.
Materia Computer science.
Software engineering.
Computer Science.
       Mostrar referencias similares
Theory of Computation.
       Mostrar referencias similares
Software Engineering/Programming and Operating Systems.
       Mostrar referencias similares
Autor secundario SpringerLink (Online service)
En Springer eBooks
OTRO SOPORTE Printed edition: 9783319064277
ISBN 9783319064284 978-3-319-06428-4
ISBN/ISSN 10.1007/978-3-319-06428-4 doi