![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
23rd ICATPN 2002: Adelaide, Australia
- Javier Esparza
, Charles Lakos:
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
Invited Papers
- Wil M. P. van der Aalst
:
Making Work Flow: On the Application of Petri Nets to Business Process Management. 1-22 - Jörg Desel:
Model Validation - A Theoretical Issue? 23-43 - Ian J. Hayes
:
The Real-Time Refinement Calculus: A Foundation for Machine-Independent Real-Time Programming. 44-58 - Charles Lakos:
The Challenge of Object Orientation for the Analysis of Concurrent Systems. 59-67 - P. S. Thiagarajan:
Abstract Cyclic Communicating Processes: A Logical View. 68-69 - Alexandre Yakovlev:
Is the Die Cast for the Token Game? 70-79
Regular Papers
- Jordi Cortadella
, Alex Kondratyev, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe:
Quasi-Static Scheduling of Independent Tasksfor Reactive Systems. 80-100 - Jean-Michel Couvreur, Emmanuelle Encrenaz, Emmanuel Paviot-Adet, Denis Poitrenaud, Pierre-André Wacrenier:
Data Decision Diagrams for Petri Net Analysis. 101-120 - Juliane Dehnert:
Non-controllable Choice Robustness Expressing the Controllability of Workflow Processes. 121-141 - Giovanna Di Marzo Serugendo, Dino Mandrioli, Didier Buchs, Nicolas Guelfi:
Real-Time Synchronised Petri Nets. 142-162 - Hans Fleischhack, Christian Stehno:
Computing a Finite Prefix of a Time Petri Net. 163-181 - Steven Gordon, Lars Michael Kristensen, Jonathan Billington:
Verification of a Revised WAP Wireless Transaction Protocol. 182-202 - Li Jiao, To-Yat Cheung, Weiming Lu:
Characterizing Liveness of Petri Nets in Terms of Siphons. 203-216 - Ekkart Kindler:
Petri Nets, Situations, and Automata. 217-236 - Kurt Lautenbach:
Reproducibility of the Empty Marking. 237-253 - Louis-Marie Le Ny, Bruno Tuffin:
Modeling and Analysis of Multi-class Threshold-Based Queues with Hysteresis Using Stochastic Petri Nets. 254-272 - Lin Liu
, Jonathan Billington:
Tackling the Infinite State Space of a Multimedia Control Protocol Service Specification. 273-293 - Louise Lorentsen, Antti-Pekka Tuovinen, Jianli Xu:
Modelling of Features and Feature Interactions in Nokia Mobile Phones Using Coloured Petri Nets. 294-313 - Thomas Mailund:
Analysing Infinite-State Systems by Combining Equivalence Reduction and the Sweep-Line Method. 314-334 - Mogens Nielsen, P. S. Thiagarajan:
Regular Event Structures and Finite Petri Nets: The Conflict-Free Case. 335-351 - Chun Ouyang, Lars Michael Kristensen, Jonathan Billington:
A Formal Service Specification for the Internet Open Trading Protocol. 352-373 - Sibylle Peuker:
Transition Refinement for Deriving a Distributed Minimum Weight Spanning Tree Algorithm. 374-393 - David G. Stork, Rob J. van Glabbeek:
Token-Controlled Place Refinement in Hierarchical Petri Nets with Application to Active Document Workflow. 394-413 - Valentín Valero Ruiz, Juan José Pardo, Fernando Cuartero:
Translating TPAL Specifications into Timed-Arc Petri Nets. 414-433
Tool Presentation
- Marko Mäkelä:
Maria: Modular Reachability Analyser for Algebraic System Nets. 434-444
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.