25. ICATPN 2004:
Bologna,
Italy
Jordi Cortadella, Wolfgang Reisig (Eds.):
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 BibTeX
Invited papers
Full Paper
- Adrianna Alexander:
Composition of Temporal Logic Specifications.
98-116
Electronic Edition (link) BibTeX
- João Paulo Barros, Luís Gomes:
On the Use of Coloured Petri Nets for Object-Oriented Design.
117-136
Electronic Edition (link) BibTeX
- Claudine Chaouiya, Elisabeth Remy, Paul Ruet, Denis Thieffry:
Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets.
137-156
Electronic Edition (link) BibTeX
- Jörg Desel, Gabriel Juhás, Christian Neumair:
Finite Unfoldings of Unbounded Petri Nets.
157-176
Electronic Edition (link) BibTeX
- Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini:
Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys.
177-196
Electronic Edition (link) BibTeX
- Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve:
Generalised Soundness of Workflow Nets Is Decidable.
197-215
Electronic Edition (link) BibTeX
- Monika Heiner, Ina Koch:
Petri Net Based Model Validation in Systems Biology.
216-237
Electronic Edition (link) BibTeX
- Gabriel Juhás, Robert Lorenz, Christian Neumair:
Synthesis of Controlled Behavior with Modules of Signal Nets.
238-257
Electronic Edition (link) BibTeX
- Tommi A. Junttila:
New Canonical Representative Marking Algorithms for Place/Transition-Nets.
258-277
Electronic Edition (link) BibTeX
- Michael Köhler, Heiko Rölke:
Properties of Object Petri Nets.
278-297
Electronic Edition (link) BibTeX
- Timo Latvala, Marko Mäkelä:
LTL Model Checking for Modular Petri Nets.
298-311
Electronic Edition (link) BibTeX
- Edward Ochmanski:
Covering Fairness against Conspiracies.
312-330
Electronic Edition (link) BibTeX
- Leo Ojala, Olli-Matti Penttinen, Elina Parviainen:
Modeling and Analysis of Margolus Quantum Cellular Automata Using Net-Theoretical Methods.
331-350
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Olivier H. Roux, Didier Lime:
Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation.
371-390
Electronic Edition (link) BibTeX
- Eric Verbeek, Robert A. van der Toorn:
Transit Case Study.
391-410
Electronic Edition (link) BibTeX
- Harro Wimmel:
Eliminating Internal Behaviour in Petri Nets.
411-425
Electronic Edition (link) BibTeX
- Harro Wimmel:
Infinity of Intermediate States Is Decidable for Petri Nets.
426-434
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
Tool Papers
- Boudewijn F. van Dongen, Wil M. P. van der Aalst:
EMiT: A Process Mining Tool.
454-463
Electronic Edition (link) BibTeX
- Ekkart Kindler, Csaba Páles:
3D-Visualization of Petri Net Models: Concept and Realization.
464-473
Electronic Edition (link) BibTeX
- Lars Michael Kristensen, Laure Petrucci:
An Approach to Distributed State Space Exploration for Coloured Petri Nets.
474-483
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Alexander Norta:
Web Supported Enactment of Petri-Net Based Workflows with XRL/Flower.
494-503
Electronic Edition (link) BibTeX
Copyright © Sat May 16 22:58:12 2009
by Michael Ley (ley@uni-trier.de)