This book constitutes the refereed proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, held in Siedlce, Poland, in June 2007. The 22 revised full papers and 3 revised tool papers presented together with 5 invited papers were carefully reviewed and selected from a total of 70 submissions. All current issues on research and development in the area of Petri nets and modeling of concurrent systems are addressed, in particular system design and verification, analysis, synthesis, structure and behaviour of nets, net theory and relations, causality/partial order theory of concurrency, semantic Web, logical and algebraic calculi, symbolic net representation, tools for nets, experience reports and case studies, educational issues, higher-level net models, timed and stochastic nets, as well as standardization of nets. This book constitutes the refereed proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, held in Siedlce, Poland. It covers all current issues on research and development in the area of Petri nets and modeling of concurrent systems including system design and verification, structure and behavior of nets, logical and algebraic calculi, and standardization of nets. Invited Papers Petri Nets, Discrete Physics, and Distributed Quantum Computation 1(2) Samson Abramsky Autonomous Distributed System and Its Realization by Multi Agent Nets 3(17) Sadatoshi Kumagai Toshiyuki Miyamoto Petri Nets Without Tokens 20(4) Antoni Mazurkiewicz Toward Specifications for Reconfigurable Component Systems 24(5) Andrzej Tarlecki Generating Petri Net State Spaces 29(14) Karsten Wolf Full Papers Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms 43(20) M. Beccuti G. Franceschinis S. Haddad Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets 63(20) M. Boyer O.H. Roux Improving Static Variable Orders Via Invariants 83(21) Gianfranco Ciardo Gerald Luttgen Andy Jinqing Yu Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems 104(20) Hartmut Ehrig Kathrin Hoffmann Julia Padberg Ulrike Prange Claudia Ermel From Many Places to Few: Automatic Abstraction Refinement for Petri Nets 124(20) Pierre Ganty Jean-Francois Raskin Laurent Van Begin A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms 144(20) Kyller Gorgonio Jordi Cortadella Fei Xia History-Dependent Petri Nets 164(20) Kees van Hee Alexander Serebrenik Natalia Sidorova Wil van der Aalst Complete Process Semantics for Inhibitor Nets 184(20) Gabriel Juhas Robert Lorenz Sebastian Mauser Behaviour-Preserving Transition Insertions in Unfolding Prefixes 204(19) Victor Khomenko Combining Decomposition and Unfolding for STG Synthesis 223(21) Victor Khomenko Mark Schaefer Object Nets for Mobility 244(19) Michael Kohler Berndt Farwer Web Service Orchestration with Super-Dual Object Nets 263(18) Michael Kohler Heiko Rolke Synthesis of Elementary Net Systems with Context Arcs and Localities 281(20) Maciej Koutny Marta Pietkiewicz-Koutny Nets with Tokens Which Carry Data 301(20) Ranko Lazic Tom Newcomb Joel Ouaknine A.W. Roscoe James Worrell Operating Guidelines for Finite-State Services 321(21) Niels Lohmann Peter Massuthe Karsten Wolf Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios 342(20) Robert Lorenz Sebastian Mauser Robin Bergenthum Utilizing Fuzzy Petri Net for Choreography Based Semantic Web Services Discovery 362(19) Peng Men Zhenhua Duan Bin Yu Formal Models for Multicast Traffic in Network on Chip Architectures with Compositional High-Level Petri Nets 381(21) Elisabeth Pelz Dietmar Tutsch Name Creation vs. Replication in Petri Net Systems 402(21) Fernando Rosa-Velardo David de Frutos-Escrig Modelling the Datagram Congestion Control Protocol's Connection Management and Synchronization Procedures 423(22) Somsak Vanit-Anunchai Jonathan Billington The ComBack Method - Extending Hash Compaction with Backtracking 445(20) Michael Westergaard Lars Michael Kristensen Gerth Stolting Brodal Lars Arge Computing Minimal Elements of Upward-Closed Sets for Petri Nets 465(19) Hsu-Chun Yen Chien-Liang Chen Tool Papers ProM 4.0: Comprehensive Support for Real Process Analysis 484(11) W.M.P. van der Aalst B.F. van Dongen C.W. Gunther R.S. Mans A.K. Alves de Medeiros A. Rozinat V. Rubin M. Song H.M.W. Verbeek A.J.M.M. Weijters dmcG: A Distributed Symbolic Model Checker Based on GreatSPN 495(10) Alexandre Hamez Fabrice Kordon Yann Thierry-Mieg Fabrice Legond-Aubry Workcraft: A Static Data Flow Structure Editing, Visualisation and Analysis Tool 505(10) Ivan Poliakov Danil Sokolov Andrey Mokhov Author Index 515