default search action
26th ICATPN 2005: Miami, FL, USA
- Gianfranco Ciardo, Philippe Darondeau:
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
Invited Papers
- Giuliana Franceschinis:
Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets. 1-14 - Kenneth L. McMillan:
Applications of Craig Interpolation to Model Checking. 15-16 - Jonathan D. Pincus, Jeannette M. Wing:
Towards an Algebra for Security Policies. 17-25 - Manuel Silva Suárez, Laura Recalde:
Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control. 26-47
Full Papers
- Wil M. P. van der Aalst
, Ana Karla A. de Medeiros, A. J. M. M. Weijters:
Genetic Process Mining. 48-69 - Samy Abbes
The (True) Concurrent Markov Property and Some Applications to Markov Nets. 70-89 - Kamel Barkaoui, Jean-Michel Couvreur, Kais Klai:
On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets. 90-107 - Anne Bouillard, Bruno Gaujal, Jean Mairesse:
Extremal Throughputs in Free-Choice Nets. 108-127 - Leonardo Brenner, Paulo Fernandes, Afonso Sales, Thais Webber
A Framework to Decompose GSPN Models. 128-147 - Lawrence Cabac, Michael Duvigneau, Daniel Moldt, Heiko Rölke
Modeling Dynamic Architectures Using Nets-Within-Nets. 148-167 - Lorenzo Capra
A High Level Language for Structural Relations in Well-Formed Nets. 168-187 - Robert Clarisó, Enric Rodríguez-Carbonell
Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation. 188-207 - Jean-Paul Comet, Hanna Klaudel, Stéphane Liauzu:
Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets. 208-227 - Bing Han, Jonathan Billington:
Termination Properties of TCP's Connection Management Procedures. 228-249 - Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova
Soundness of Resource-Constrained Workflow Nets. 250-267 - Kathrin Hoffmann, Hartmut Ehrig, Till Mossakowski
High-Level Nets with Nets and Rules as Tokens. 268-288 - Gabriel Juhás, Robert Lorenz, Jörg Desel:
Can I Execute My Scenario in Your Net?. 289-308 - Michael Köhler, Heiko Rölke
Reference and Value Semantics Are Equivalent for Ordinary Object Petri Nets. 309-328 - Charles Lesire, Catherine Tessier:
Particle Petri Nets for Aircraft Procedure Monitoring Under Uncertainty. 329-348 - Wolfgang Reisig:
On the Expressive Power of Petri Net Schemata. 349-364 - Mark Schäfer, Walter Vogler, Petr Jancar
Determinate STG Decomposition of Marked Graphs. 365-384 - Jirí Srba
Timed-Arc Petri Nets vs. Networks of Timed Automata. 385-402 - Lisa Wells, Thomas Maier:
Specifying and Analyzing Software Safety Requirements of a Frequency Converter Using Coloured Petri Nets. 403-422 - Moe Thandar Wynn, David Edmond, Wil M. P. van der Aalst
Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets. 423-443
Tool Papers
- Boudewijn F. van Dongen, Ana Karla A. de Medeiros, H. M. W. Verbeek
The ProM Framework: A New Era in Process Mining Tool Support. 444-454 - Sami Evangelista:
High Level Petri Nets Analysis with Helena. 455-464 - Eric Verbeek
Protos 7.0: Simulation Made Accessible. 465-474
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.
last updated on 2024-09-28 01:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: