ICATPN

Keyphrases

Publications

2007

Pierre Ganty, Jean-François Raskin, Laurent Van Begin
From Many Places to Few: Automatic Abstraction Refinement for Petri Nets. ICATPN (2007)
Sadatoshi Kumagai, Toshiyuki Miyamoto
Autonomous Distributed System and Its Realization by Multi Agent Nets. ICATPN (2007)
Kyller Costa Gorgônio, Jordi Cortadella, Fei Xia
A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms. ICATPN (2007)
Samson Abramsky
Petri Nets, Discrete Physics, and Distributed Quantum Computation. ICATPN (2007)
Elisabeth Pelz, Dietmar Tutsch
Formal Models for Multicast Traffic in Network on Chip Architectures with Compositional High-Level Petri Nets. ICATPN (2007)
Hsu-Chun Yen, Chien-Liang Chen
Computing Minimal Elements of Upward-Closed Sets for Petri Nets. ICATPN (2007)
Marco Beccuti, Giuliana Franceschinis, Serge Haddad
Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms. ICATPN (2007)
Michael Köhler, Berndt Farwer
Object Nets for Mobility. ICATPN (2007)
Michael Westergaard, Lars Michael Kristensen, Gerth Stølting Brodal, Lars Arge
The ComBack Method - Extending Hash Compaction with Backtracking. ICATPN (2007)
Ivan Poliakov, Danil Sokolov, Andrey Mokhov
Workcraft: A Static Data Flow Structure Editing, Visualisation and Analysis Tool. ICATPN (2007)
Robert Lorenz, Sebastian Mauser, Robin Bergenthum
Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios. ICATPN (2007)
Victor Khomenko
Behaviour-Preserving Transition Insertions in Unfolding Prefixes. ICATPN (2007)
Michael Köhler, Heiko Rölke
Web Service Orchestration with Super-Dual Object Nets. ICATPN (2007)
Gianfranco Ciardo, Gerald Lüttgen, Andy Jinqing Yu
Improving Static Variable Orders Via Invariants. ICATPN (2007)
Antoni W. Mazurkiewicz
Petri Nets Without Tokens. ICATPN (2007)
Peng Men, Zhenhua Duan, Bin Yu
Utilizing Fuzzy Petri Net for Choreography Based Semantic Web Services Discovery. ICATPN (2007)
Andrzej Tarlecki
Toward Specifications for Reconfigurable Component Systems. ICATPN (2007)
Ranko Lazic, Thomas Christopher Newcomb, Joël Ouaknine, A. W. Roscoe, James Worrell
Nets with Tokens Which Carry Data. ICATPN (2007)
Victor Khomenko, Mark Schäfer
Combining Decomposition and Unfolding for STG Synthesis. ICATPN (2007)
Maciej Koutny, Marta Pietkiewicz-Koutny
Synthesis of Elementary Net Systems with Context Arcs and Localities. ICATPN (2007)
Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg, Fabrice Legond-Aubry
dmcG : A Distributed Symbolic Model Checker Based on GreatSPN. ICATPN (2007)
Marc Boyer, Olivier H. Roux
Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets. ICATPN (2007)
Somsak Vanit-Anunchai, Jonathan Billington
Modelling the Datagram Congestion Control Protocol's Connection Management and Synchronization Procedures. ICATPN (2007)
Niels Lohmann, Peter Massuthe, Karsten Wolf
Operating Guidelines for Finite-State Services. ICATPN (2007)
Karsten Wolf
Generating Petri Net State Spaces. ICATPN (2007)
Fernando Rosa-Velardo, David de Frutos-Escrig
Name Creation vs. Replication in Petri Net Systems. ICATPN (2007)
Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Wil M. P. van der Aalst
History-Dependent Petri Nets. ICATPN (2007)
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 A. Rubin, Minseok Song, H. M. W. Verbeek, A. J. M. M. Weijters
Process Analysis. ICATPN (2007)
Gabriel Juhás, Robert Lorenz, Sebastian Mauser
Complete Process Semantics for Inhibitor Nets. ICATPN (2007)
Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Ulrike Prange, Claudia Ermel
Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems. ICATPN (2007)

volume 4546, 2007

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 ICATPN 4546 (2007)

2006

volume 4024, 2006

Petri Nets and Other Models of Concurrency - ICATPN 2006, 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings ICATPN 4024 (2006)