Application and Theory of Petri Nets 2000 - Nielsen , Noel Simpson - Librairie Eyrolles
Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Application and Theory of Petri Nets 2000
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

Application and Theory of Petri Nets 2000

Application and Theory of Petri Nets 2000

Nielsen, Noel Simpson

484 pages, parution le 01/07/2000

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
satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription