Petri Nets : Fundamental Models, Verification and Applications.

A Petri net is a mathematical representation of a network. This book first introduces the basic models including time and stochastic extensions, in particular place-transition and high level Petri nets. Their modeling and design capabilities are illustrated by a set of representations of interest in...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Diaz, Michel
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Hoboken : John Wiley & Sons, 2009.
Temas:
Electronic data processing > Distributed processing.
Parallel processing (Electronic computers)
System design.
Petri nets.
Traitement réparti.
Parallélisme (Informatique)
Conception de systèmes.
Réseaux de Pétri.
Electronic data processing > Distributed processing
Petri nets
System design
Acceso en línea:Texto completo
Tabla de Contenidos:
  • Petri Nets: Fundamental Models, Verification and Applications; Table of Contents; Preface; Introduction; Part 1. Fundamental Models; Chapter 1. Basic Semantics; Chapter 2. Application of Petri Nets to Communication Protocols; Chapter 3. Analysis Methods for Petri; Chapter 4. Decidability and Complexity of Petri Net Problems; Chapter 5. Time Petri Nets; Chapter 6. Temporal Composition and Time Stream Petri Nets; Chapter 7. High Level Petri Nets; Chapter 8. Analysis of High Level Petri Nets; Chapter 9. Stochastic Petri Nets; Chapter 10. Stochastic Well-formed Petri Nets.

Ejemplares similares