Introductory tutorial
9.00 - 9.30 |
Informal Introduction to Petri Nets | W. Reisig |
9.30 - 10:30 | Elementary Net Systems I | J. Kleijn |
10:30 - 11:00 | Coffee break |
|
11:00 - 11:30 | Elementary Net Systems I (cont.) | J. Kleijn |
11:30 - 12:30 | Place/Transition Nets I | J.
Desel, K.
Schmidt |
12:30 - 13:30 | Lunch | |
14:00 - 14:30 | Place/Transition Nets I (cont.) | J. Desel, K. Schmidt |
14:30 - 15:30 | Timed and Stochastic Nets | S. Donatelli |
15:30 - 16:00 | Coffee break | |
16:00 - 17:30 | High Level Nets | K.
Jensen |
Tutorial:
What's new in UML 2? Challenges and Solutions for
Model-Driven Development, Reiko Heckel and Jan-Hendrik Hausmann
Aula Gualandi, 09.00 -
12.00
Tutorial: How to Model and Simulate Biological Pathways with Petri Nets
- A New Challenge for Systems Biology -, S. Miyano and H. Matsuno
Aula Gualandi,
14.00 - 17.00
Workshop on Petri Nets and Coordination (PNC04), Aula Prodi
09.20 - 09.30 Opening
09.30 - 10.00
A Formal Component-Oriented Design Language for Building Distributed
System
Mathieu Buffo and Didier Buchs
10.00 - 10.30
Workflow as Composition of Domain-Specific Languages
F. Corradini, E. Merelli, and A. Pierantonio
10.30 - 11.00 Coffee Break
11.00 - 11.30
A Process Algebra View of Coordination Models with a Case Study in Computational System
Biology
Roberta Amici, Flavio Corradini, and Emanuela Merelli
11.30 - 12.00
Discovering Coordination Patterns using Process Mining
W.M.P. van der Aalst
12.00 - 12.30 : Brainstorming
12.30 - 14.00 Lunch
14.00 - 14.30
A Colored Petri Net for Regional Synchronization in Situated Multi-Agent
Systems
Danny Weyns and Tom Holvoet
14.30 - 15.00
Coordination of Mobile Agents: The Bucket Chain-Example
Michael Kohler and Heiko Rolke
15.00 - 15.30
Describing Coordination Mechanism of Autonomous Distributed Systems by using Multi Agent
Nets
Toshiyuki Miyamoto and Sadatoshi Kumagai
15.30 - 16.00 : Coffee Break
16.00 - 16.30
Exploiting Petri Nets in the Analysis of the Expressiveness of Publish/Subscribe
Coordination
Nadia Busi, and Gianluigi Zavattaro
16.30 - 17.00
Model Checking and Abstraction for Workflow Net Verification
F.L. Tiplea, D.C. Marinescu, C. Lin
17.00 - 17.10 Closure
Tuesday, June 22
Introductory tutorial
9.00-10.30 |
Elementary Net Systems II | J. Kleijn |
10.30-11:00 | Coffee break |
|
11:00-12:30 | Place/Transition Nets II | M.
Silva |
12:30-14:00 | Lunch | |
14:00-15:00 | Introduction to GSPNs | S.
Donatelli |
15:00-15:30 | High Level Nets II | K.
Jensen |
15:30-16:00 | Coffee break | |
16:00-17:30 | High Level Nets II (cont.) | K. Jensen |
Tutorial: Monitoring and Control of Discrete Event Systems, S. Lafortune
09:00 - 10:00 Discrete Event System (DES), Formal Languages, Automata and Petri Nets
10:00 - 10:30 Monitoring Problems for DES Modeled by Automata and Petri Nets
10:30 - 11:00 Coffee break
11:00 - 12:30 Monitoring Problems for DES Modeled by Automata and Petri Nets
12:30 - 14:00 Lunch
14:00 - 15:30 Supervisory Control of DES
15:30 - 16:00 Coffee break
16:00 - 17:00 Supervisory Control of DES
17:00 - 17:30 Summary and Current Research Directions
Workshop on Token-based computing (ToBaCo), Aula Prodi
09:20 - 09:30 Opening
09:30 - 10:30 Invited Talk: Token-based computing on nanometer scales,
Dr. Ferdinand Peper
10:30 - 11:00 Coffee break
11:00 - 12:30 Session 1
Modelling and Analysis of Self-Timed Cellular Automata Using High-Level Petri
Nets
O. Penttinen.
Interactive Behavious of Multi-Component Systems
J. Carmona and H.C.M. Kleijn.
Decomposition-based Calculation of Petri net Invariants
D.A. Zaitsev.
12:30 - 14:00 Lunch
14:00 - 15:30 Session 2
A Software Power Cost Analysis based on Colored Petri Net
M. Oliveira Júnior, P. Marciel, F. Carvalho and R. Barreto.
Reduction in synchronization in bundled data systems
C.F. Brej and J.D. Garside.
A Standard Cell Implementation of a Phased Logic CPU
R.B. Reese, M.A. Thornton and C. Traver.
15:30 - 16:00 Coffee break
16:00 - 17:00 Session 3
From Hardware Processes to Asynchronous Circuits via Petri nets: an Application to Arbiter
Design
M. Renaudin and A. Yakovlev.
Gate Transfer Level Synthesis as an Automated Approach to Fine-Grain
Pipelining
A. Smirnov, A. Taubin, M. Karpovsky and L. Rozenblyum.
Wednesday, June 23: ATPN 2004
8:45 - 9:00 Welcome and Opening
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.
3D-Visualization of Petri Net Models: A concept.
Lars Kristensen and Laure Petrucci.
An Approach to Distributed State Space Exploration for Coloured Petri
Nets.
Thursday, June 24: ATPN 2004
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.
20:30 Banquet
(the banquet will take place at the Cantina Bentivoglio which is situated
in via Mascarella)
Friday, June 25: ATPN 2004
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.
16:00 - 18:00
Business meeting
Saturday, June 26
Workshop on Security Issues with Petri Nets and other Computational Models (WISP), Aula Prodi
08:50-09:00 | Welcome |
09:00-10:00 |
Events in security protocols Glynn Winskel (Invited Talk) |
10:00-10:30 |
Modelling non-deducibility using Petri nets Jeremy Bryans, Maciej Koutny, Peter Ryan |
10:30-11:00 | Coffee break |
11:00-12:30 |
Panel: Security Research in the NIS Countries and Opportunities for joint Cooperation with EU I.Kotenko, F. Massacci, E.Pogossian, A.Procopio |
12:30-14:00 | Lunch Break |
14:00-15:00 |
TBA Pierpaolo Degano (Invited Talk) |
15:00-15:30 |
A formal approach for the evaluation of network security mechanisms based on RBAC policies Romain Laborde, Frederic Grasset, Bassem Nasser, Francois Barrere, Abdelmalek Benzekri |
15:30-16:00 | Coffee break |
16:00-16:30 |
Analysing Password Protocol Security Against Off-line Dictionary Attacks (Extended Abstract) Ricardo Corin, Jeroen Doumen, Sandro Etalle |
16:30-17:00 |
A Coordination-based Methodology for Security Protocol Verification Giacomo Baldi, Andrea Bracciali, Gianluigi Ferrari, Emilio Tuosto |
17:00-17:30 |
Process Mining and Security: Detecting Anomalous Process Executions and Checking Process Conformance Wil van der Aalst, Ana Karla Alves de Medeiros |
17:30-18:00 |
Hybrid Workflow and Bayesian Networks to Correlate Information in the Protection of Large Scale Critical Infrastructures John Bigham, Xuan Jin, David Gamez |
Workshop on Definition, Implementation and Application of a Standard Interchange Format for Petri Nets, Aula Gualandi
9.00 - 9.05 Opening
9.05-10.35 Session 1
M. Abdollahi Azgomi and A. Movaghar:
An Interchange Format for Stochastic Activity Networks Based on the PNML.
O. Shaw, A. Koelmans, J. Steggles, and A. Wipat:
Applying Petri Nets to Systems Biology using XML Technologies.
S. Bardin and L. Petrucci:
From PNML to counter systems for accelerating Petri Nets with FAST.
10.35-11.00 Coffee break
11.00-12.30 Session 2
J. P. Barros and L. Gomes:
Operational PNML: Towards a PNML Support for Model Construction and Modification.
K.M. van Hee, R.D.J. Post, L.J.A.M. Somers, and J.M.E.M van der Werf:
Process model repositories and PNML.
M. Westergaard:
Towards a High-level Petri Net Type Definition.