default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID26th 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, Massimiliano De Pierro, Giuliana Franceschinis:
A High Level Language for Structural Relations in Well-Formed Nets. 168-187 - Robert Clarisó, Enric Rodríguez-Carbonell, Jordi Cortadella:
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, Marc Voorhoeve:
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, Arthur H. M. ter Hofstede:
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, A. J. M. M. Weijters, Wil M. P. van der Aalst:
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, Maarte van Hattem, Hajo A. Reijers, Wendy de Munk:
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 2025-11-26 07:52 CET 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:
