Fundamental Models, Verification and Applications
Publication Date: June 2009 Hardback 624 pp.
This book first introduces the basic models including time and stochastic extensions, in particular place-transition and high level
Petri nets. The modeling and design capabilities of Petri nets are illustrated by a set of representations of interest in operating and
communication systems. The related verification problems are then addressed and corresponding solutions proposed
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.
Part 1: Petri Nets – Fundamental Models
1. Basic Semantics, Michel Diaz.
2. Application of Petri Nets to Communication Protocols, Michel Diaz.
3. Analysis Methods for Petri Nets, Serge Haddad, François Vernadat.
4. Decidability and Complexity of Petri Net Problems, Serge Haddad.
5. Time Petri Nets, Bernard Berthomieu, Marc Boyer, Michel Diaz.
6. Temporal Composition and Time Stream Petri Nets, Michel Diaz.
7. High Level Petri Nets, Claude Girault, Jean-François Pradat-Peyre.
8. Analysis of High Level Petri Nets, Claude GIRAULT, Jean-François Pradat-Peyre.
9. Stochastic Petri Nets, Serge Haddad, Patrice Moreaux.
10. Stochastic Well-formed 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, François Vernadat.
13. Petri Net Unfoldings - Properties, Jean-Michel Couvreur, Denis Poitrenaud.
14. Symmetry and Temporal Logic, Serge Haddad, Jean-Michel Ilié.
15. Hierarchical Time Stream Petri Nets, Patrick Sénac, Michel Diaz.
16. Petri Nets and Linear Logic, Brigitte Pradin, Robert Valette, N. Rivière.
17. Modeling of Multimedia Architectures: the Case of Videoconferencing with Guaranteed Quality of Service, Philippe Owezarski, Marc Boyer.
18. Performance evaluation in manufacturing systems, Isabel Demongodin, Nathalie Sauer, Laurent Truffet.
About the Authors
Michel DIAZ is Director de Research at the Centre National de la Recherche Scientifique (CNRS) 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.
He spent a year as a visiting professor and staff at the University of Delaware at Newark and at the University of California at Berkeley. He was the manager of the European ESPRIT SEDOS and IST GCAP projects. He was member of the Advisory Board on the future of the Internet at the EC and wrote a report for the future of the French national research computer network Renater. He was Director of the French Research on " Architecture, Networks, Systems and Parallelism" from 1994 to 1999 and is in charge since 2000 of the co-ordination of the French research and in Communication Networks. He is expert for many European and French Programmes and he served as Chairman or member of many Program Committees. He has edited or co-edited eleven books and written more than 150 publications.
He received the Silver Core of the IFIP, is Senior Member of the IEEE, is member of the New York Academy of Sciences and is listed in the Who's Who in Science and Engineering.