Committee login






Small thumbnail

Baidu SEO

Challenges and Intricacies of Marketing in China

Small thumbnail

Asymmetric Alliances and Information Systems

Issues and Prospects

Small thumbnail

Technicity vs Scientificity

Complementarities and Rivalries

Small thumbnail

Freshwater Fishes

250 Million Years of Evolutionary History

Small thumbnail

Biostatistics and Computer-based Analysis of Health Data using SAS

Biostatistics and Health Science Set

Small thumbnail

Predictive Control

Small thumbnail

Fundamentals of Advanced Mathematics 1

Categories, Algebraic Structures, Linear and Homological Algebra

Small thumbnail

Swelling Concrete in Dams and Hydraulic Structures

DSC 2017

Small thumbnail

The Chemostat

Mathematical Theory of Microorganims Cultures

Small thumbnail

Earthquake Occurrence

Short- and Long-term Models and their Validation

Small thumbnail

Petri Nets

Fundamental Models, Verification and Applications

Edited by Michel Diaz, LAAS-CNRS, Toulouse, France

ISBN: 9781848210790

Publication Date: June 2009   Hardback   624 pp.

325.00 USD

Add to cart


Ebook Ebook


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.


DownloadTable of Contents - PDF File - 116 Kb

DownloadIntroduction - Sample Chapter - PDF File - 428 Kb

Related Titles

0.02141 s.