 aISBN: 3-540-67693-7
TITLE: Application and Theory of Petri Nets 2000
AUTHOR: Nielsen, Mogens; Simpson, Dan (Eds.)
TOC:

Invited Papers
Hardware and Petri Nets: Application to Asynchronous Circuit Design 1
Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alex Yakovlev
Region Based Synthesis of P/T-Nets and Its Potential Applications 16
Philippe Darondeau
UML - A Universal Modeling Language? 24
Gregor Engels, Reiko Heckel, Stefan Sauer
Verification of Timed and Hybrid Systems 39
Kim Guldstrand Larsen
Full Papers
Parametric Stochastic Well-Formed Nets and Compositional Modelling 43
Paolo Ballarini, Susanna Donatelli, Giuliana Franceschinis
Reducing k-Safe Petri Nets to Pomset-Equivalent 1-Safe Petri Nets 63
Eike Best, Harro Wimmel
Executing Transactions in Zero-Safe Nets 83
Roberto Bruni, Ugo Montanari
Efficient Symbolic State-Space Construction for Asynchronous Systems 103
Gianfranco Ciardo, Gerald Lttgen, Radu Siminiceanu
Designing a LTL Model-Checker Based on Unfolding Graphs 123
Jean-Michel Couvreur, Sbastien Grivet, Denis Poitrenaud
Process Semantics of Petri Nets over Partial Algebra 146
Jrg Desel, Gabriel Juhs, Robert Lorenz
User Interface Prototyping Based on UML Scenarios and High-Level Petri Nets 166
Mohammed Elkoutbi, Rudolf K. Keller
Decidability of Properties of Timed-Arc Petri Nets 187
David de Frutos Escrig, Valentn Valero Ruiz, Olga Marroqun Alonso
Analysing the WAP Class 2 Wireless Transaction Protocol Using Coloured Petri Nets 207
Steven Gordon, Jonathan Billington
Liveness Verification of Discrete Event Systems Modeled by n-Safe Ordinary Petri Nets 227
Kevin X. He, Michael D. Lemmon
Modelling and Analysing the SDL Description of the ISDN-DSS1 Protocol 244
Nisse Husberg, Teemu Tynjl, Kimmo Varpaaniemi
Process Semantics of P/T-Nets with Inhibitor Arcs 261
Jetty Kleijn, Maciej Koutny
Improved Question-Guided Stubborn Set Methods for State Properties 282
Lars Michael Kristensen, Antti Valmari
A Compositional Model of Time Petri Nets 303
Maciej Koutny
Composing Abstractions for Coloured Petri Nets 323
Charles Lakos
Modelling and Analysis of a DANFOSS Flowmeter System Using Coloured Petri Nets 346
Louise Lorentsen, Lars Michael Kristensen
Automatic Code Generation Method Based on Coloured Petri Net Models Applied on an Access Control System 367
Kjeld H. Mortensen
Pre- and Post-agglomerations for LTL Model Checking 387
Denis Poitrenaud, Jean-Francois Pradat-Peyre
Bisimulation and the Reduction of Petri Nets 409
Philippe Schnoebelen, Natalia Sidorova
Efficiency of Asynchronous Systems That Communicate Asynchronously 424
Walter Vogler
Tools Presentations
CASCADE: A Tool Kernel Supporting a Comprehensive Design Method for Asynchronous Controllers 445
Jochen Beister, Gernot Eckstein, Ralf Wollowski
ExSpect 6.4: An Executable Specification Tool for Hierarchical Colored Petri Nets 455
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 465
Karsten Schmidt
Woflan 2.0: A Petri-Net-Based Workflow Diagnosis Tool 475
Eric Verbeek, Wil M.P. van der Aalst
Author Index 485
END
