| Titre : |
Petri nets : fundamental models, verification and applications |
| Type de document : |
texte imprimé |
| Auteurs : |
Michel (1945-....) Diaz, Éditeur scientifique |
| Editeur : |
London : ISTE éditions |
| Année de publication : |
2008 |
| Autre Editeur : |
New York : John Wiley & Sons |
| Importance : |
585 p. |
| Présentation : |
ill. |
| Format : |
25 cm |
| ISBN/ISSN/EAN : |
978-1-84821-079-0 |
| Note générale : |
Index |
| Langues : |
Anglais (eng) |
| Mots-clés : |
Electronic data processing -- Distributed processing
Parallel processing (Electronic computers)
System design
Petri nets
Petri, Réseaux de
Réseaux d'ordinateurs
Traitement réparti |
| Index. décimale : |
519.711 Questions générales de la théorie du contrôle. Modèles. Modélisation. Codage. Théorie des réseaux |
| Résumé : |
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 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. |
| Note de contenu : |
Summary :
Part 1: Petri Nets -- Fundamental Models
1. Basic semantics
2. Application to communication protocols
3. Analysis methods
4. Decidability and complexity
5. Time Petri nets
6. Temporal composition and time stream Petri nets
7. High level Petri nets
8. Analysis of high level Petri nets
9. Stochastic Petri nets
10. Well-formed stochastic Petri nets
11. Tensor methods and stochastic Petri nets
Part 2: Verification and Application of Petri Nets
12. Verification of specific properties
13. Covering step graphs: a partial order approach
14. Petri net unfoldings for verifying temporal properties
15. Symmetry and temporal logic
16. Hierarchical time stream Petri nets
17. Petri nets and linear logic
18. Modeling and validating the interoperability of telecommunication services
19. Application of high level Petri nets for the automatic verification of Ada95 concurrent programs
20. Modeling multimedia architectures in visioconferencing with guaranteed Quality of Service
21. Performance evaluation in manufacturing systems
22. Performance evaluation of communication protocols |
| En ligne : |
http://books.google.com/books?id=6YRmLxXp5uQC&pg=PA74&lpg=PA74&dq=9781848210790& [...] |
Petri nets : fundamental models, verification and applications [texte imprimé] / Michel (1945-....) Diaz, Éditeur scientifique . - London : ISTE éditions : New York : John Wiley & Sons, 2008 . - 585 p. : ill. ; 25 cm. ISBN : 978-1-84821-079-0 Index Langues : Anglais ( eng)
| Mots-clés : |
Electronic data processing -- Distributed processing
Parallel processing (Electronic computers)
System design
Petri nets
Petri, Réseaux de
Réseaux d'ordinateurs
Traitement réparti |
| Index. décimale : |
519.711 Questions générales de la théorie du contrôle. Modèles. Modélisation. Codage. Théorie des réseaux |
| Résumé : |
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 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. |
| Note de contenu : |
Summary :
Part 1: Petri Nets -- Fundamental Models
1. Basic semantics
2. Application to communication protocols
3. Analysis methods
4. Decidability and complexity
5. Time Petri nets
6. Temporal composition and time stream Petri nets
7. High level Petri nets
8. Analysis of high level Petri nets
9. Stochastic Petri nets
10. Well-formed stochastic Petri nets
11. Tensor methods and stochastic Petri nets
Part 2: Verification and Application of Petri Nets
12. Verification of specific properties
13. Covering step graphs: a partial order approach
14. Petri net unfoldings for verifying temporal properties
15. Symmetry and temporal logic
16. Hierarchical time stream Petri nets
17. Petri nets and linear logic
18. Modeling and validating the interoperability of telecommunication services
19. Application of high level Petri nets for the automatic verification of Ada95 concurrent programs
20. Modeling multimedia architectures in visioconferencing with guaranteed Quality of Service
21. Performance evaluation in manufacturing systems
22. Performance evaluation of communication protocols |
| En ligne : |
http://books.google.com/books?id=6YRmLxXp5uQC&pg=PA74&lpg=PA74&dq=9781848210790& [...] |
|  |
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherchePetri nets (2008)
