28. ICATPN 2007:
Siedlce,
Poland
Jetty Kleijn, Alexandre Yakovlev (Eds.):
Petri Nets and Other Models of Concurrency - ICATPN 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings.
Lecture Notes in Computer Science 4546 Springer 2007, ISBN 978-3-540-73093-4 BibTeX
Invited Papers
Full Papers
- Marco Beccuti, Giuliana Franceschinis, Serge Haddad:
Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms.
43-62
Electronic Edition (link) BibTeX
- Marc Boyer, Olivier H. Roux:
Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets.
63-82
Electronic Edition (link) BibTeX
- Gianfranco Ciardo, Gerald Lüttgen, Andy Jinqing Yu:
Improving Static Variable Orders Via Invariants.
83-103
Electronic Edition (link) BibTeX
- Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Ulrike Prange, Claudia Ermel:
Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems.
104-123
Electronic Edition (link) BibTeX
- Pierre Ganty, Jean-François Raskin, Laurent Van Begin:
From Many Places to Few: Automatic Abstraction Refinement for Petri Nets.
124-143
Electronic Edition (link) BibTeX
- Kyller Costa Gorgônio, Jordi Cortadella, Fei Xia:
A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms.
144-163
Electronic Edition (link) BibTeX
- Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Wil M. P. van der Aalst:
History-Dependent Petri Nets.
164-183
Electronic Edition (link) BibTeX
- Gabriel Juhás, Robert Lorenz, Sebastian Mauser:
Complete Process Semantics for Inhibitor Nets.
184-203
Electronic Edition (link) BibTeX
- Victor Khomenko:
Behaviour-Preserving Transition Insertions in Unfolding Prefixes.
204-222
Electronic Edition (link) BibTeX
- Victor Khomenko, Mark Schäfer:
Combining Decomposition and Unfolding for STG Synthesis.
223-243
Electronic Edition (link) BibTeX
- Michael Köhler, Berndt Farwer:
Object Nets for Mobility.
244-262
Electronic Edition (link) BibTeX
- Michael Köhler, Heiko Rölke:
Web Service Orchestration with Super-Dual Object Nets.
263-280
Electronic Edition (link) BibTeX
- Maciej Koutny, Marta Pietkiewicz-Koutny:
Synthesis of Elementary Net Systems with Context Arcs and Localities.
281-300
Electronic Edition (link) BibTeX
- Ranko Lazic, Thomas Christopher Newcomb, Joël Ouaknine, A. W. Roscoe, James Worrell:
Nets with Tokens Which Carry Data.
301-320
Electronic Edition (link) BibTeX
- Niels Lohmann, Peter Massuthe, Karsten Wolf:
Operating Guidelines for Finite-State Services.
321-341
Electronic Edition (link) BibTeX
- Robert Lorenz, Sebastian Mauser, Robin Bergenthum:
Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios.
342-361
Electronic Edition (link) BibTeX
- Peng Men, Zhenhua Duan, Bin Yu:
Utilizing Fuzzy Petri Net for Choreography Based Semantic Web Services Discovery.
362-380
Electronic Edition (link) BibTeX
- Elisabeth Pelz, Dietmar Tutsch:
Formal Models for Multicast Traffic in Network on Chip Architectures with Compositional High-Level Petri Nets.
381-401
Electronic Edition (link) BibTeX
- Fernando Rosa Velardo, David de Frutos-Escrig:
Name Creation vs. Replication in Petri Net Systems.
402-422
Electronic Edition (link) BibTeX
- Somsak Vanit-Anunchai, Jonathan Billington:
Modelling the Datagram Congestion Control Protocol's Connection Management and Synchronization Procedures.
423-444
Electronic Edition (link) BibTeX
- Michael Westergaard, Lars Michael Kristensen, Gerth Stølting Brodal, Lars Arge:
The ComBack Method - Extending Hash Compaction with Backtracking.
445-464
Electronic Edition (link) BibTeX
- Hsu-Chun Yen, Chien-Liang Chen:
Computing Minimal Elements of Upward-Closed Sets for Petri Nets.
465-483
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg, Fabrice Legond-Aubry:
dmcG : A Distributed Symbolic Model Checker Based on GreatSPN.
495-504
Electronic Edition (link) BibTeX
- Ivan Poliakov, Danil Sokolov, Andrey Mokhov:
Workcraft: A Static Data Flow Structure Editing, Visualisation and Analysis Tool.
505-514
Electronic Edition (link) BibTeX
Copyright © Sat May 16 22:58:12 2009
by Michael Ley (ley@uni-trier.de)
