default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID25th ICATPN 2004: Bologna, Italy
- Jordi Cortadella
, Wolfgang Reisig:
Applications and Theory of Petri Nets 2004, 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings. Lecture Notes in Computer Science 3099, Springer 2004, ISBN 3-540-22236-7
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
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-11-26 07:52 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:
