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

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Auteur principal: Diaz, Michel
Format: Électronique eBook
Langue:Inglés
Publié: Hoboken : John Wiley & Sons, 2009.
Sujets:
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
Accès en ligne:Texto completo
Table des matières:
  • 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.

Documents similaires