Résumé
This book constitutes the refereed proceedings of the 21st
International Conference on Application and Theory of Petri
Nets, ICATPN 2000, held in Aarhus, Denmark, in June 2000.
The 20 revised full papers presented together with four
invited surveys and four tool presentations were carefully
reviewed and selected from 57 submissions. The papers
address all current aspects of Petri net research and
development including system design and verification, UML,
compositionality, process algebras, model checking,
computer networking, business process engineering,
communication networks, etc. Various classes of Petri nets
are discussed including safe Petri nets, high-level Petri
nets, colored Petri nets, P/T nets, and timed Petri nets.
Contents
- Invited Papers
- Hardware and Petri Nets: Application to Asynchronous Circuit Design - Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev,Luciano Lavagno, Alex Yakovlev
- Region Based Synthesis of P/T-Nets and Its Potential Applications - Philippe Darondeau
- UML - A Universal Modeling Language? - Gregor Engels, Reiko Heckel, Stefan Sauer
- Verification of Timed and Hybrid Systems - Kim Guldstrand Larsen
- Full Papers
- Parametric Stochastic Well-Formed Nets and Compositional Modelling - Paolo Ballarini, Susanna Donatelli, Giuliana Franceschinis
- Reducing k-Safe Petri Nets to Pomset-Equivalent 1-Safe Petri Nets - Eike Best, Harro Wimmel
- Executing Transactions in Zero-Safe Nets - Roberto Bruni, Ugo Montanari
- Ancient Symbolic State-Space Construction for Asynchronous Systems - Gianfranco Ciardo, Gerald Luttgen, Radu Siminiceanu
- Designing a LTL Model-Checker Based on Unfolding Graphs - Jean-Michel Couvreur, Sebastien Grivet, Denis Poitrenaud
- Process Semantics of Petri Nets over Partial Algebra - Jorg Desel, Gabriel Juhas, Robert Lorenz
- User Interface Prototyping Based on UML Scenarios and High-Level Petri Nets - Mohammed Elkoutbi, Rudolf K. Keller
- Decidability of Properties of Timed-Arc Petri Nets David de Frutos Escrig, Valentin Valero Ruiz, Olga Marroquin Alonso
- Analysing the WAP Class 2 Wireless Transaction Protocol Using Coloured Petri Nets Steven Gordon, Jonathan Billington
- Liveness Verification of Discrete Event Systems Modeled by n-Safe
- Ordinary Petri Nets - Kevin X. He, Michael D. Lemmon
- Modelling and Analysing the SDL Description of the ISDN-DSS1 Protocol - Nisse Husberg, Teemu Tynjala, Kimmo Varpaaniemi
- Process Semantics of P/T-Nets with Inhibitor Arcs - Jetty Kleijn, Maciej Koutny
- Improved Question-Guided Stubborn Set Methods for State Properties - Lars Michael Kristensen, Antti Valmari
- A Compositional Model of Time Petri Nets - Maciej Koutny
- Composing Abstractions for Coloured Petri Nets - Modelling and Analysis of a DANFOSS Flowmeter System Using Coloured Petri Nets - Louise Lorentsen, Lars Michael Kristensen
- Automatic Code Generation Method Based on Coloured Petri Net Models Applied on an Access Control System - Kjeld H. Mortensen
- Pre- and Post-agglomerations for LTL Model Checking - Denis Poitrenaud, Jean-Francois Pradat-Peyre
- Bisimulation and the Reduction of Petri Nets - Philippe Schnoebelen, Natalia Sidorova
- Efficiency of Asynchronous Systems That Communicate Asynchronously - Walter Vogler
- Tools Presentations
- CASCADE: A Tool Kernel Supporting a Comprehensive Design Method for Asynchronous Controllers - Jochen Beister, Gernot Eckstein, Ralf Wollowski
- ExSpect 6.4: An Executable Specification Tool for Hierarchical Colored Petri Nets - Wil M.P. van der Aalst, Paul J.N. de Crom, Roy R.H.M.J. Goverde, Kees M. van Hee, Wout J. Hofman, Hajo A. Reijers, Robert A. van der Toorn
- LoLA: A Low Level Analyser - Karsten Schmidt
- Woflan 2.0: A Petri-Net-Based Work on Diagnosis Tool - Eric Verbeek, Wil M.P. van der Aalst
- Author Index
L'auteur - Noel Simpson
Noel Simpson - Noel is a Database Administrator for Bennett Jones (www.bennettjones.ca) a large law firm based out of Calgary Alberta, Canada. He also works with Fulcrum Data Systems, as Application Service Provider and .NET development shop based out of Vancouver British Columbia, Canada, as a Web Programmer.
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Springer |
| Auteur(s) | Nielsen, Noel Simpson |
| Parution | 01/07/2000 |
| Nb. de pages | 484 |
| Format | 15,5 x 23,5 |
| Couverture | Broché |
| Poids | 655g |
| Intérieur | Noir et Blanc |
| EAN13 | 9783540676935 |
Avantages Eyrolles.com
Livraison à partir de 0,01 € en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
