default search action

combined dblp search
author search
venue search
publication search

ask others

25th ICATPN 2004: Bologna, Italy

> Home > Conferences and Workshops > ICATPN

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/apn/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/2004
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

- view
  authority control:
- export record
  dblp key:
  - conf/apn/BusiG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BusiG04
Nadia Busi, Roberto Gorrieri:
Positive Non-interference in Elementary and Trace Nets. 1-16
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Ciardo04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Ciardo04
Gianfranco Ciardo:
Reachability Set Generation for Petri Nets: Can Brute Force Be Smart? 17-34
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Henzinger04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Henzinger04
Thomas A. Henzinger:
Embedded Software: Better Models, Better Code. 35-36
- view
  authority control:
- export record
  dblp key:
  - conf/apn/PenczekP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/PenczekP04
Wojciech Penczek, Agata Pólrola:
Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata. 37-76
- view
  authority control:
- export record
  dblp key:
  - conf/apn/PomelloB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/PomelloB04
Lucia Pomello, Luca Bernardinello:
Formal Tools for Modular System Development. 77-96
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Sanders04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Sanders04
William H. Sanders:
Stochastic Methods for Dependability, Performability, and Security Evaluation. 97

Full Paper

- view
  authority control:
- export record
  dblp key:
  - conf/apn/Alexander04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Alexander04
Adrianna Alexander:
Composition of Temporal Logic Specifications. 98-116
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BarrosG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BarrosG04
João Paulo Barros, Luís Gomes:
On the Use of Coloured Petri Nets for Object-Oriented Design. 117-136
- view
  authority control:
- export record
  dblp key:
  - conf/apn/ChaouiyaRRT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/ChaouiyaRRT04
Claudine Chaouiya, Elisabeth Remy, Paul Ruet, Denis Thieffry:
Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets. 137-156
- view
  authority control:
- export record
  dblp key:
  - conf/apn/DeselJN04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/DeselJN04
Jörg Desel, Gabriel Juhás, Christian Neumair:
Finite Unfoldings of Unbounded Petri Nets. 157-176
- view
  authority control:
- export record
  dblp key:
  - conf/apn/FranceschinisGIMMV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/FranceschinisGIMMV04
Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini:
Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys. 177-196
- view
  authority control:
- export record
  dblp key:
  - conf/apn/HeeSV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/HeeSV04
Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve:
Generalised Soundness of Workflow Nets Is Decidable. 197-215
- view
  authority control:
- export record
  dblp key:
  - conf/apn/HeinerK04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/HeinerK04
Monika Heiner, Ina Koch:
Petri Net Based Model Validation in Systems Biology. 216-237
- view
  authority control:
- export record
  dblp key:
  - conf/apn/JuhasLN04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/JuhasLN04
Gabriel Juhás, Robert Lorenz, Christian Neumair:
Synthesis of Controlled Behavior with Modules of Signal Nets. 238-257
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Junttila04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Junttila04
Tommi A. Junttila:
New Canonical Representative Marking Algorithms for Place/Transition-Nets. 258-277
- view
  authority control:
- export record
  dblp key:
  - conf/apn/KohlerR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/KohlerR04
Michael Köhler, Heiko Rölke:
Properties of Object Petri Nets. 278-297
- view
  authority control:
- export record
  dblp key:
  - conf/apn/LatvalaM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/LatvalaM04
Timo Latvala, Marko Mäkelä:
LTL Model Checking for Modular Petri Nets. 298-311
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Ochmanski04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Ochmanski04
Edward Ochmanski:
Covering Fairness against Conspiracies. 312-330
- view
  authority control:
- export record
  dblp key:
  - conf/apn/OjalaPP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/OjalaPP04
Leo Ojala, Olli-Matti Penttinen, Elina Parviainen:
Modeling and Analysis of Margolus Quantum Cellular Automata Using Net-Theoretical Methods. 331-350
- view
  authority control:
- export record
  dblp key:
  - conf/apn/MartinQG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/MartinQG04
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
- view
  authority control:
- export record
  dblp key:
  - conf/apn/RouxL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/RouxL04
Olivier H. Roux, Didier Lime:
Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation. 371-390
- view
  authority control:
- export record
  dblp key:
  - conf/apn/VerbeekT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/VerbeekT04
Eric Verbeek, Robert A. van der Toorn:
Transit Case Study. 391-410
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Wimmel04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Wimmel04
Harro Wimmel:
Eliminating Internal Behaviour in Petri Nets. 411-425
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Wimmel04a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Wimmel04a
Harro Wimmel:
Infinity of Intermediate States Is Decidable for Petri Nets. 426-434
- view
  authority control:
- export record
  dblp key:
  - conf/apn/YooLL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/YooLL04
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

- view
  authority control:
- export record
  dblp key:
  - conf/apn/DongenA04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/DongenA04
Boudewijn F. van Dongen, Wil M. P. van der Aalst:
EMiT: A Process Mining Tool. 454-463
- view
  authority control:
- export record
  dblp key:
  - conf/apn/KindlerP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/KindlerP04
Ekkart Kindler, Csaba Páles:
3D-Visualization of Petri Net Models: Concept and Realization. 464-473
- view
  authority control:
- export record
  dblp key:
  - conf/apn/KristensenP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/KristensenP04
Lars Michael Kristensen, Laure Petrucci:
An Approach to Distributed State Space Exploration for Coloured Petri Nets. 474-483
- view
  authority control:
- export record
  dblp key:
  - conf/apn/KummerWDSKMRV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/KummerWDSKMRV04
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
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Norta04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Norta04
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.