default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID28th ICATPN 2007: Siedlce, Poland
- Jetty Kleijn, Alexandre Yakovlev:
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
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 W. 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 A. Rubin, Minseok Song, H. M. W. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-03-18 20:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
