26. ICATPN 2005:
Miami,
FL,
USA
Gianfranco Ciardo, Philippe Darondeau (Eds.):
Applications and Theory of Petri Nets 2005, 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005, Proceedings.
Lecture Notes in Computer Science 3536 Springer 2005, ISBN 3-540-26301-2 BibTeX
Invited Papers
Full Papers
- Wil M. P. van der Aalst, Ana Karla A. de Medeiros, A. J. M. M. Weijters:
Genetic Process Mining.
48-69
Electronic Edition (link) BibTeX
- Samy Abbes:
The (True) Concurrent Markov Property and Some Applications to Markov Nets.
70-89
Electronic Edition (link) BibTeX
- Kamel Barkaoui, Jean-Michel Couvreur, Kais Klai:
On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets.
90-107
Electronic Edition (link) BibTeX
- Anne Bouillard, Bruno Gaujal, Jean Mairesse:
Extremal Throughputs in Free-Choice Nets.
108-127
Electronic Edition (link) BibTeX
- Leonardo Brenner, Paulo Fernandes, Afonso Sales, Thais Webber:
A Framework to Decompose GSPN Models.
128-147
Electronic Edition (link) BibTeX
- Lawrence Cabac, Michael Duvigneau, Daniel Moldt, Heiko Rölke:
Modeling Dynamic Architectures Using Nets-Within-Nets.
148-167
Electronic Edition (link) BibTeX
- Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis:
A High Level Language for Structural Relations in Well-Formed Nets.
168-187
Electronic Edition (link) BibTeX
- Robert Clarisó, Enric Rodríguez-Carbonell, Jordi Cortadella:
Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation.
188-207
Electronic Edition (link) BibTeX
- Jean-Paul Comet, Hanna Klaudel, Stéphane Liauzu:
Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets.
208-227
Electronic Edition (link) BibTeX
- Bing Han, Jonathan Billington:
Termination Properties of TCP's Connection Management Procedures.
228-249
Electronic Edition (link) BibTeX
- Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve:
Soundness of Resource-Constrained Workflow Nets.
250-267
Electronic Edition (link) BibTeX
- Kathrin Hoffmann, Hartmut Ehrig, Till Mossakowski:
High-Level Nets with Nets and Rules as Tokens.
268-288
Electronic Edition (link) BibTeX
- Gabriel Juhás, Robert Lorenz, Jörg Desel:
Can I Execute My Scenario in Your Net?.
289-308
Electronic Edition (link) BibTeX
- Michael Köhler, Heiko Rölke:
Reference and Value Semantics Are Equivalent for Ordinary Object Petri Nets.
309-328
Electronic Edition (link) BibTeX
- Charles Lesire, Catherine Tessier:
Particle Petri Nets for Aircraft Procedure Monitoring Under Uncertainty.
329-348
Electronic Edition (link) BibTeX
- Wolfgang Reisig:
On the Expressive Power of Petri Net Schemata.
349-364
Electronic Edition (link) BibTeX
- Mark Schäfer, Walter Vogler, Petr Jancar:
Determinate STG Decomposition of Marked Graphs.
365-384
Electronic Edition (link) BibTeX
- Jirí Srba:
Timed-Arc Petri Nets vs. Networks of Timed Automata.
385-402
Electronic Edition (link) BibTeX
- Lisa Wells, Thomas Maier:
Specifying and Analyzing Software Safety Requirements of a Frequency Converter Using Coloured Petri Nets.
403-422
Electronic Edition (link) BibTeX
- Moe Thandar Wynn, David Edmond, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede:
Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets.
423-443
Electronic Edition (link) BibTeX
Tool Papers
Copyright © Sat May 16 22:58:12 2009
by Michael Ley (ley@uni-trier.de)
