26. ICATPN 2005: Miami, FL, USA

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, 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
  

Last update Tue Feb 14 03:48:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page