Programme

Click here for the pdf version of the program

Monday, June 21

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.

12.30-13.15 Discussion