Petri Nets / Fundamental Models, Verification and Applications
Iste Ltd (Verlag)
978-1-905209-82-8 (ISBN)
- Titel ist leider vergriffen;
keine Neuauflage - Artikel merken
This book presents the definition, validation and application of a selected set of Petri nets. It 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 operating and communication systems. The volume then addresses the related verification problems and proposes corresponding solutions by introducing the main notions needed to fully understand the behavior and properties behind Petri nets. Particular attention is devoted to how systems can be fully represented and analyzed in terms of their behavioral, time and stochastic aspects by using the same formal approach and semantical basis. Finally, illustrative examples are presented in the important fields of interoperability in telecommunication services, programmation languages, multimedia architectures, manufacturing systems and communication protocols.
Michel Diaz is Director of Research at the National Center of Sciemtific Research (CNRS), Paris, France and leads the Research Department "Critical Computer Systems" at LAAS-CNRS, Toulouse. He is presently working on the development of formal architectures, techniques and tools for the design of advanced distributed multimedia cooperative systems.
Part 1: Petri Nets -- Fundamental Models 1. Basic semantics, Michel Diaz. 2. Application to communication protocols, Michel Diaz. 3. Analysis methods, Serge Haddad, Francois Vernadat. 4. Decidability and complexity, Serge Haddad. 5. Time Petri nets, Bernard Berthomieu, Marc Boyer, Michel Diaz. 6. Temporal composition and time stream Petri nets, Michel Diaz, Patrick Senac. 7. High level Petri nets, Claude Girault, Jean-Francois Pradat-Peyre. 8. Analysis of high level Petri nets, Jean-Francois Pradat-Peyre. 9. Stochastic Petri nets, Serge Haddad, Patrice Moreaux. 10. Well-formed stochastic Petri nets, Serge Haddad, Patrice Moreaux. 11. Tensor methods and stochastic Petri nets, Serge Haddad, Patrice Moreaux. Part 2: Verification and Application of Petri Nets 12. Verification of specific properties, Serge Haddad, Francois Vernadat. 13. Covering step graphs: a partial order approach, Francois Vernadat. 14. Petri net unfoldings for verifying temporal properties, Jean-Michel Couvreur, Denis Poitrenaud. 15. Symmetry and temporal logic, Serge Haddad, Jean-Michel Ilie. 16. Hierarchical time stream Petri nets, Patrick Senac, Michel Diaz. 17. Petri nets and linear logic, Brigitte Pradin, Robert Valette. 18. Modeling and validating the interoperability of telecommunication services, Isabelle Vernier and Emmanuel Paviot-Adet. 19. Application of high level Petri nets for the automatic verification of Ada95 concurrent programs, Jean-Francois Peyre. 20. Modeling multimedia architectures in visioconferencing with guaranteed Quality of Service - Marc Boyer, Philippe Owezarski. 21. Performance evaluation in manufacturing systems, Isabel Demongodin, Nathalie Sauer, Laurent Truffet. 22. Performance evaluation of communication protocols, Slim Abdellatif, Guy Juanole.
| Erscheint lt. Verlag | 7.1.2008 |
|---|---|
| Verlagsort | London |
| Sprache | englisch |
| Maße | 156 x 234 mm |
| Themenwelt | Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre |
| ISBN-10 | 1-905209-82-7 / 1905209827 |
| ISBN-13 | 978-1-905209-82-8 / 9781905209828 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
