28. ICATPN 2007: Siedlce, Poland

Invited Papers

• Samson Abramsky:
  Petri Nets, Discrete Physics, and Distributed Quantum Computation. 1-2
  
• Sadatoshi Kumagai, Toshiyuki Miyamoto:
  Autonomous Distributed System and Its Realization by Multi Agent Nets. 3-19
  
• Antoni Mazurkiewicz:
  Petri Nets Without Tokens. 20-23
  
• Andrzej Tarlecki:
  Toward Specifications for Reconfigurable Component Systems. 24-28
  
• Karsten Wolf:
  Generating Petri Net State Spaces. 29-42
  

Full Papers

• Marco Beccuti, Giuliana Franceschinis, Serge Haddad:
  Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms. 43-62
  
• Marc Boyer, Olivier H. Roux:
  Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets. 63-82
  
• Gianfranco Ciardo, Gerald Lüttgen, Andy Jinqing Yu:
  Improving Static Variable Orders Via Invariants. 83-103
  
• Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Ulrike Prange, Claudia Ermel:
  Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems. 104-123
  
• Pierre Ganty, Jean-François Raskin, Laurent Van Begin:
  From Many Places to Few: Automatic Abstraction Refinement for Petri Nets. 124-143
  
• Kyller Costa Gorgônio, Jordi Cortadella, Fei Xia:
  A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms. 144-163
  
• Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Wil M. P. van der Aalst:
  History-Dependent Petri Nets. 164-183
  
• Gabriel Juhás, Robert Lorenz, Sebastian Mauser:
  Complete Process Semantics for Inhibitor Nets. 184-203
  
• Victor Khomenko:
  Behaviour-Preserving Transition Insertions in Unfolding Prefixes. 204-222
  
• Victor Khomenko, Mark Schäfer:
  Combining Decomposition and Unfolding for STG Synthesis. 223-243
  
• Michael Köhler, Berndt Farwer:
  Object Nets for Mobility. 244-262
  
• Michael Köhler, Heiko Rölke:
  Web Service Orchestration with Super-Dual Object Nets. 263-280
  
• Maciej Koutny, Marta Pietkiewicz-Koutny:
  Synthesis of Elementary Net Systems with Context Arcs and Localities. 281-300
  
• Ranko Lazic, Thomas Christopher Newcomb, Joël Ouaknine, A. W. Roscoe, James Worrell:
  Nets with Tokens Which Carry Data. 301-320
  
• Niels Lohmann, Peter Massuthe, Karsten Wolf:
  Operating Guidelines for Finite-State Services. 321-341
  
• Robert Lorenz, Sebastian Mauser, Robin Bergenthum:
  Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios. 342-361
  
• Peng Men, Zhenhua Duan, Bin Yu:
  Utilizing Fuzzy Petri Net for Choreography Based Semantic Web Services Discovery. 362-380
  
• Elisabeth Pelz, Dietmar Tutsch:
  Formal Models for Multicast Traffic in Network on Chip Architectures with Compositional High-Level Petri Nets. 381-401
  
• Fernando Rosa Velardo, David de Frutos-Escrig:
  Name Creation vs. Replication in Petri Net Systems. 402-422
  
• Somsak Vanit-Anunchai, Jonathan Billington:
  Modelling the Datagram Congestion Control Protocol's Connection Management and Synchronization Procedures. 423-444
  
• Michael Westergaard, Lars Michael Kristensen, Gerth Stølting Brodal, Lars Arge:
  The ComBack Method - Extending Hash Compaction with Backtracking. 445-464
  
• Hsu-Chun Yen, Chien-Liang Chen:
  Computing Minimal Elements of Upward-Closed Sets for Petri Nets. 465-483
  

Tool Papers

• Wil M. P. van der Aalst, Boudewijn F. van Dongen, Christian W. Günther, R. S. Mans, Ana Karla Alves de Medeiros, Anne Rozinat, Vladimir Rubin, Minseok Song, H. M. W. (Eric) Verbeek, A. J. M. M. Weijters:
  ProM 4.0: Comprehensive Support for Real Process Analysis. 484-494
  
• Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg, Fabrice Legond-Aubry:
  dmcG : A Distributed Symbolic Model Checker Based on GreatSPN. 495-504
  
• Ivan Poliakov, Danil Sokolov, Andrey Mokhov:
  Workcraft: A Static Data Flow Structure Editing, Visualisation and Analysis Tool. 505-514