General

Authors

Search


Committee login



 
 

 


 

 

Forthcoming

Small thumbnail

Reliability Investigation of LED Devices for Public Light Applications

Durability, Robustness and Reliability of Photonic Devices Set

Small thumbnail

Aerospace Actuators 2

Signal-by-Wire and Power-by-Wire

Small thumbnail

Flash Memory Integration

Performance and Energy Considerations

Small thumbnail

Mechanics of Aeronautical Solids, Materials and Structures

Small thumbnail

Engineering Investment Process

Making Value Creation Repeatable

Small thumbnail

Space Strategy

Small thumbnail

Distributed Systems

Concurrency and Consistency

Small thumbnail

Fatigue of Textile and Short Fiber Reinforced Composites

Durability and Ageing of Organic Composite Materials Set Volume 1

Small thumbnail

Management of the Effects of Coastal Storms

Policy, Scientific and Historical Perspectives

Small thumbnail

Computational Color Science

Variational Retinex-like Methods

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

eBooks


Ebook Ebook

Description

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.

Contents

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.

Downloads

DownloadTable of Contents - PDF File - 116 Kb

DownloadIntroduction - Sample Chapter - PDF File - 428 Kb

Related Titles



































0.02189 s.