From: Kurt Jensen <kjensen@daimi.au.dk>
To: petrinet@informatik.uni-hamburg.de
Date: Tue, 24 Feb 2004 10:52:19 +0100
Subject: (PN) Final programme for Petri Nets 2004 (dates corrected)
The dates in the previous announcement were wrong. Sorry for the confusion.
===================================
Final Programme for Petri Nets 2004
http://www.cs.unibo.it/atpn2004/
===================================
---------------------
| Wednesday, June 23 |
---------------------
9:00 - 10:00 Invited talk
Thomas A. Henzinger.
Embedded Software: Better Models, Better Code
10:00 - 10:30
Olivier H. Roux and Didier Lime.
Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and
State Space Computation
10:30 - 11:00 Coffee break
11:00 - 12:30
Tommi A. Junttila.
New Canonical Representative Marking Algorithms for Place/Transition-Nets
Joerg Desel, Gabriel Juhas and Christian Neumair.
Finite Unfoldings of Unbounded Petri Nets.
Dong-Hoon Yoo, Dong-Ik Lee and Jeong-A Lee.
Operation Net System: A Formal Design Representation Model for High-Level
Synthesis of Asynchronous Systems based on Transformations.
12:30 - 14:00 Lunch
14:00 - 15:00 Invited talk
William H. Sanders.
Stochastic Methods for Dependability, Performability, and Security Evaluation
15:00 - 15:30 Tool presentation
Olaf Kummer, Frank Wienberg, Michael Duvigneau, Jörn Schumacher,
Michael Köhler, Daniel Moldt, Heiko Rölke and Rüdiger Valk.
An Extensible Editor and Simulation Engine for Petri Nets: Renew.
15:30 - 16:00 Coffee break
16:00 - 18:00 Tool presentations
Boudewijn Van Dongen and Wil Van der Aalst.
EMiT: A process mining tool.
Alexander Norta.
Web Supported Enactment of Petri-Net Based Workflows with XRL/flower.
Ekkart Kindler and Csaba Páles.
3D Visualization of Petri Net Models: Concept and Realization
Lars Kristensen and Laure Petrucci.
An Approach to Distributed State Space Exploration for Coloured Petri Nets.
--------------------
| Thursday, June 24 |
--------------------
9:00 - 10:00 Invited talk
Gianfranco Ciardo.
Reachability Set Generation for Petri Nets: Can Brute Force Be SMART?
10:00 - 10:30
Gabriel Juhas, Robert Lorenz and Christian Neumair.
Synthesis of Controlled Behavior with Modules of Signal Nets.
10:30 - 11:00 Coffee break
11:00 - 12:30
Monika Heiner and Ina Koch.
Petri Net Based Model Validation in Systems Biology.
Claudine Chaouiya, Elisabeth Remy, Paul Ruet and Denis Thieffry.
Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to
Standard Petri Nets.
Leo Ojala, Olli-Matti Penttinen and Elina Parviainen.
Modeling and Analysis of Margolus Quantum Cellular Automata Using
Net-Theoretical Methods.
12:30 - 14:00 Lunch
14:00 - 15:00 Invited talk
Lucia Pomello.
Formal tools for modular system development.
15:00 - 15:30
Edward Ochmañski.
Covering Fairness against Conspiracies.
15:30 - 16:00 Coffee break
16:00 - 18:00
Eric Verbeek and Robert van der Toorn.
Transit case study.
Harro Wimmel.
Infinity of Intermediate States is Decidable for Petri Nets.
Kees van Hee, Natalia Sidorova and Marc Voorhoeve.
Generalised Soundness of Workflow Nets is Decidable.
Michael Köhler and Heiko Rölke.
Properties of Object Petri Nets.
-------------------
| Friday, June 25 |
-------------------
9:00 - 10:00 Invited talk
Wojciech Penczek.
Specification and Model Checking of Temporal Properties
in Time Petri Nets and Timed Automata.
10:00 - 10:30
Timo Latvala and Marko Mäkelä.
LTL Model Checking for Modular Petri Nets.
10:30 - 11:00 Coffee break
11:00 - 12:30
Adrianna Alexander.
Composition of temporal logic specifications.
Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone,
Nicola Mazzocca and Valeria Vittorini.
Compositional modeling of complex systems: contact center scenarios in OsMoSys.
Harro Wimmel.
Eliminating Internal Behaviour in Petri Nets.
12:30 - 14:00 Lunch
14:00 - 15:00 Invited talk
Roberto Gorrieri.
Information Flow Security in Petri Nets.
15:00 - 16:00
M.Jose Polo Martin, Luis A. Miguel Quintales and Maria N. Moreno Garcia.
A Framework for the Modelling and Simulation of Distributed Transaction
Processing Systems using Coloured Petri Nets.
Joao Paulo Barros and Luis Gomes.
On the use of Coloured Petri Nets for Object Oriented Design.
----
[[ Homepage and archive: http://www.daimi.au.dk/PetriNets/pnml/ ]]
[[ Post messages/summary of replies: PetriNets@daimi.au.dk ]]
[[ Read before posting: http://www.daimi.au.dk/PetriNets/pnml/faq.html ]]
[[ Subscribe: http://mailman.daimi.au.dk/mailman/listinfo/petrinets ]]