23. ICATPN 2002:
Adelaide,
Australia
Javier Esparza, Charles Lakos (Eds.):
Applications and Theory of Petri Nets 2002, 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002, Proceedings.
Lecture Notes in Computer Science 2360 Springer 2002, ISBN 3-540-43787-8 BibTeX
@proceedings{DBLP:conf/apn/2002,
editor = {Javier Esparza and
Charles Lakos},
title = {Applications and Theory of Petri Nets 2002, 23rd International
Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002,
Proceedings},
booktitle = {ICATPN},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2360},
year = {2002},
isbn = {3-540-43787-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Papers
Regular Papers
- Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe:
Quasi-Static Scheduling of Independent Tasksfor Reactive Systems.
80-100
Electronic Edition (Springer LINK) BibTeX
- Jean-Michel Couvreur, Emmanuelle Encrenaz, Emmanuel Paviot-Adet, Denis Poitrenaud, Pierre-André Wacrenier:
Data Decision Diagrams for Petri Net Analysis.
101-120
Electronic Edition (Springer LINK) BibTeX
- Juliane Dehnert:
Non-controllable Choice Robustness Expressing the Controllability of Workflow Processes.
121-141
Electronic Edition (Springer LINK) BibTeX
- Giovanna Di Marzo Serugendo, Dino Mandrioli, Didier Buchs, Nicolas Guelfi:
Real-Time Synchronised Petri Nets.
142-162
Electronic Edition (Springer LINK) BibTeX
- Hans Fleischhack, Christian Stehno:
Computing a Finite Prefix of a Time Petri Net.
163-181
Electronic Edition (Springer LINK) BibTeX
- Steven Gordon, Lars Michael Kristensen, Jonathan Billington:
Verification of a Revised WAP Wireless Transaction Protocol.
182-202
Electronic Edition (Springer LINK) BibTeX
- Li Jiao, To-Yat Cheung, Weiming Lu:
Characterizing Liveness of Petri Nets in Terms of Siphons.
203-216
Electronic Edition (Springer LINK) BibTeX
- Ekkart Kindler:
Petri Nets, Situations, and Automata.
217-236
Electronic Edition (Springer LINK) BibTeX
- Kurt Lautenbach:
Reproducibility of the Empty Marking.
237-253
Electronic Edition (Springer LINK) BibTeX
- Louis-Marie Le Ny, Bruno Tuffin:
Modeling and Analysis of Multi-class Threshold-Based Queues with Hysteresis Using Stochastic Petri Nets.
254-272
Electronic Edition (Springer LINK) BibTeX
- Lin Liu, Jonathan Billington:
Tackling the Infinite State Space of a Multimedia Control Protocol Service Specification.
273-293
Electronic Edition (Springer LINK) BibTeX
- Louise Lorentsen, Antti-Pekka Tuovinen, Jianli Xu:
Modelling of Features and Feature Interactions in Nokia Mobile Phones Using Coloured Petri Nets.
294-313
Electronic Edition (Springer LINK) BibTeX
- Thomas Mailund:
Analysing Infinite-State Systems by Combining Equivalence Reduction and the Sweep-Line Method.
314-334
Electronic Edition (Springer LINK) BibTeX
- Mogens Nielsen, P. S. Thiagarajan:
Regular Event Structures and Finite Petri Nets: The Conflict-Free Case.
335-351
Electronic Edition (Springer LINK) BibTeX
- Chun Ouyang, Lars Michael Kristensen, Jonathan Billington:
A Formal Service Specification for the Internet Open Trading Protocol.
352-373
Electronic Edition (Springer LINK) BibTeX
- Sibylle Peuker:
Transition Refinement for Deriving a Distributed Minimum Weight Spanning Tree Algorithm.
374-393
Electronic Edition (Springer LINK) BibTeX
- David G. Stork, Rob J. van Glabbeek:
Token-Controlled Place Refinement in Hierarchical Petri Nets with Application to Active Document Workflow.
394-413
Electronic Edition (Springer LINK) BibTeX
- Valentín Valero Ruiz, Juan José Pardo, Fernando Cuartero:
Translating TPAL Specifications into Timed-Arc Petri Nets.
414-433
Electronic Edition (Springer LINK) BibTeX
Tool Presentation
Copyright © Sat May 16 22:58:13 2009
by Michael Ley (ley@uni-trier.de)