25. ICATPN 2004: Bologna, Italy

Invited papers

• Nadia Busi, Roberto Gorrieri:
  Positive Non-interference in Elementary and Trace Nets. 1-16
  
• Gianfranco Ciardo:
  Reachability Set Generation for Petri Nets: Can Brute Force Be Smart? 17-34
  
• Thomas A. Henzinger:
  Embedded Software: Better Models, Better Code. 35-36
  
• Wojciech Penczek, Agata Pólrola:
  Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata. 37-76
  
• Lucia Pomello, Luca Bernardinello:
  Formal Tools for Modular System Development. 77-96
  
• William H. Sanders:
  Stochastic Methods for Dependability, Performability, and Security Evaluation. 97
  

Full Paper

• Adrianna Alexander:
  Composition of Temporal Logic Specifications. 98-116
  
• João Paulo Barros, Luís Gomes:
  On the Use of Coloured Petri Nets for Object-Oriented Design. 117-136
  
• Claudine Chaouiya, Elisabeth Remy, Paul Ruet, Denis Thieffry:
  Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets. 137-156
  
• Jörg Desel, Gabriel Juhás, Christian Neumair:
  Finite Unfoldings of Unbounded Petri Nets. 157-176
  
• Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini:
  Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys. 177-196
  
• Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve:
  Generalised Soundness of Workflow Nets Is Decidable. 197-215
  
• Monika Heiner, Ina Koch:
  Petri Net Based Model Validation in Systems Biology. 216-237
  
• Gabriel Juhás, Robert Lorenz, Christian Neumair:
  Synthesis of Controlled Behavior with Modules of Signal Nets. 238-257
  
• Tommi A. Junttila:
  New Canonical Representative Marking Algorithms for Place/Transition-Nets. 258-277
  
• Michael Köhler, Heiko Rölke:
  Properties of Object Petri Nets. 278-297
  
• Timo Latvala, Marko Mäkelä:
  LTL Model Checking for Modular Petri Nets. 298-311
  
• Edward Ochmanski:
  Covering Fairness against Conspiracies. 312-330
  
• Leo Ojala, Olli-Matti Penttinen, Elina Parviainen:
  Modeling and Analysis of Margolus Quantum Cellular Automata Using Net-Theoretical Methods. 331-350
  
• María José Polo Martín, Luis Antonio Miguel Quintales, María N. Moreno García:
  A Framework for the Modelling and Simulation of Distributed Transaction Processing Systems Using Coloured Petri Nets. 351-370
  
• Olivier H. Roux, Didier Lime:
  Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation. 371-390
  
• Eric Verbeek, Robert A. van der Toorn:
  Transit Case Study. 391-410
  
• Harro Wimmel:
  Eliminating Internal Behaviour in Petri Nets. 411-425
  
• Harro Wimmel:
  Infinity of Intermediate States Is Decidable for Petri Nets. 426-434
  
• Dong-Hoon Yoo, Dong-Ik Lee, Jeong-A. Lee:
  Operation Net System: A Formal Design Representation Model for High-Level Synthesis of Asynchronous Systems Based on Transformations. 435-453
  

Tool Papers

• Boudewijn F. van Dongen, Wil M. P. van der Aalst:
  EMiT: A Process Mining Tool. 454-463
  
• Ekkart Kindler, Csaba Páles:
  3D-Visualization of Petri Net Models: Concept and Realization. 464-473
  
• Lars Michael Kristensen, Laure Petrucci:
  An Approach to Distributed State Space Exploration for Coloured Petri Nets. 474-483
  
• Olaf Kummer, Frank Wienberg, Michael Duvigneau, Jörn Schumacher, Michael Köhler, Daniel Moldt, Heiko Rölke, Rüdiger Valk:
  An Extensible Editor and Simulation Engine for Petri Nets: Renew. 484-493
  
• Alexander Norta:
  Web Supported Enactment of Petri-Net Based Workflows with XRL/Flower. 494-503