ATPN 2005 Conference

26^th International Conference On Application and Theory
of Petri Nets and Other Models of Concurrency
Miami, Florida, June 20-25, 2005
Webpage Address: http://www.cs.fiu.edu/atpn2005
Contact E-mail: atpn2005@cs.fiu.edu

ATPN 2005 Final Program

June 20 - 21, 2005

Time
Tutorials in ECS 235

Advanced Tutorials in ECS 243

Workshops in ECS 212

9:00am
Informal Introduction to Petri Nets
(Wolfgang Reisig)

Scenario based methods
for system design
(Abhik Roychoudhury and
P.S. Thiagarajan)

Coordination
and Workflow
(Dan Marinescu)

9:30am
Elementary Net Systems I
(Jetty Kleijn)

10:30am
11:00am
Coffee Break

... continued

... continued

... continued

11:30am
Place/Transition Nets I
(Wolfgang Reisig)

12:30pm
1:30pm
Lunch

... continued

... continued

... continued

2:30pm
Timed and Stochastic Nets
(Susanna Donatelli)

3:30pm
4:00pm
Coffee Break

High Level Nets
(Kurt Jensen)

... continued

... continued

5:30pm
6:00pm

9:00am
Elementary Net Systems II
(Jetty Kleijn)

Hardware
(Yakovlev and Cortadella)

Workshop on Control of Hybrid and Discrete Event Systems (CHyDES'05)
(Ramavarapu Sreenivas,
Toshimitsu Ushio and
José Manuel Colom)

10:30am
11:00am
Coffee Break

Place/Transition Nets II
(Manuel Silva)

... continued

... continued

12:30pm
2:00pm
Lunch

Introduction to GSPNs
(Sussanna Donatelli)

Model driven architecture
(Simon Johnston)

... continued

3:00pm
High Level Nets II
(Kurt Jensen)

3:30pm
4:00pm
Coffee Break

... continued

... continued

... continued

5:30pm
6:00pm

7:30pm
Reception at the Radisson Mart Plaza Hotel (renamed to Sheraton)

Wednesday, June 22, 2005 in the Graham Center Ballroom

9:00am - 9:15am
Opening Session

9:15am - 10:45am
Session Chair: Gianfranco Ciardo

9:15am - 10:15am
Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control (Invited Talk)
Manuel Silva

10:15am - 10:45am
Specifying and Analyzing Software Safety Requirements of a Frequency Converter using Coloured Petri Nets
Lisa Wells, Thomas Maier

10:45am - 11:00am Coffee Break

11:00am - 12:30pm
Session Chair: Guy Juanole

11:00am - 11:30am
Particle Petri Nets for Aircraft Procedure Monitoring under Uncertainty
Charles Lesire, Catherine Tessier

11:30am - Noon
Timed-Arc Petri Nets vs. Networks of Timed Automata
Jiri Srba

Noon - 12:30pm
Extremal Throughputs in Free-choice Nets
Anne Bouillard, Bruno Gaujal, Jean Mairesse

12:30pm - 2:00pm
Lunch

2:00pm - 3:30pm
Session Chair: Soren Christensen

2:00pm - 2:30pm
Protos 7.0: Simulation made accessible
Eric Verbeek, Maarte van Hattem, Hajo Reijers, Wendy de Munk

2:30pm - 3:00pm
High level Petri nets analysis with Helena
Sami Evangelista

3:00pm - 3:30pm
The ProM framework: A new era in process mining tool support
Boudewijn van Dongen, A.K.A. de Medeiros, H.M.W. Verbeek, A.J.M.M. Weijters, W.M.P. van der Aalst

3:30pm - 4:00pm
Coffee Break

4:00pm - 5:30pm
Session Chair: Kurt Jensen

4:00pm - 5:30pm
Distinguished Lecture: New Dimensions for Nets (Invited Talk)
Carl Adam Petri

Thursday, June 23, 2005 in the Graham Center Ballroom

9:00am - 10:30am
Session Chair: Philippe Darondeau

9:00am - 10:00am
Towards an Algebra for Security Policies (Invited Talk)
Jeannette Wing

10:00am - 10:30am
Modeling Dynamic Architectures Using Nets-within-Nets
Lawrence Cabac, Michael Duvigneau, Daniel Moldt, and Heiko Rölke

10:30am - 11:00am Coffee Break

11:00am - 12:30pm
Session Chair: Lucia Pomello

11:00am - 11:30am
Achieving a General, Formal and Decidable Approach to the OR-join in Workflow using Reset nets
Moe Thandar Wynn, David Edmond, W.M.P. van der Aalst, A.H.M. ter Hofstede

11:30am - Noon
Soundness of Resource-Constrained Workflow Nets
Kees van Hee, Alexander Serebrenik, Natalia Sidorova, and Marc Voorhoeve

Noon - 12:30pm
Genetic Process Mining
W.M.P. van der Aalst, A.K. Alves de Medeiros, A.J.M.M. Weijters

12:30pm - 2:00pm
Lunch

2:00pm - 3:30pm
Session Chair: Gianfranco Ciardo

2:00pm - 3:00pm
Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets (Invited Talk)
Giuliana Franceschinis

3:00pm - 3:30pm
Derivation of Non-Structural Invariants of Petri Nets Using Abstract Interpretation
Robert Clariso, Enric Rodriguez-Carbonell, Jordi Cortadella

3:30pm - 4:00pm
Coffee Break

4:00pm - 5:30pm
Session Chair: Kees van Hee

4:00pm - 4:30pm
Reference and Value Semantics are Equivalent for Ordinary Object Petri Nets
Michael Köhler, and Heiko Rölke

4:30pm - 5:00pm
Modeling Multi-Valued Genetic Regulatory Networks Using High-Level Petri Nets
Jean-Paul Comet, Hanna Klaudel, Stephane Liauzu

5:00pm - 5:30pm
High-Level Nets with Nets and Rules as Tokens
Kathrin Hoffmann, Hartmut Ehrig, Till Mossakowski

7:30pm
Banquet at the Radisson Mart Plaza Hotel (renamed to Sheraton)

Friday, June 24, 2005 in the Ryder Business Building (BA 120)

9:00am - 10:30am
Session Chair: Gabriel Juhas

9:00am - 10:00am
Processes for a service oriented world (Invited Talk)
Francisco Curbera

10:00am - 10:30am
Termination Properties of TCP's Connection Management Procedures
Bing Han, Jonathan Billington

10:30am - 11:00am Coffee Break

11:00am - 12:30pm
Session Chair: Johan Lilius

11:00am - 11:30am
Determinate STG Decomposition of Marked Graphs
Mark Schäfer, Walter Vogler, and Petr Jancar

11:30am - Noon
On the Expressive Power of Petri Net Schemata
Wolfgang Reisig

Noon - 12:30pm
On the Equivalence between Liveness and Deadlock-Freeness in Petri Nets
Kamel Barkaoui, Jean-Michel Couvreur, and Kais Klai

12:30pm - 2:00pm Lunch

2:00pm - 3:30pm
Session Chair: Jetty Kleijn

2:00pm - 3:00pm
Applications of Craig's Interpolation to Model Checking (Invited Talk)
Ken McMillan

3:00pm - 3:30pm
Can I Execute my Scenario in your Net?
Gabriel Juhás, Robert Lorenz, and Jörg Desel

3:30pm - 3:45pm Coffee Break

3:45pm - 5:15pm
Session Chair: Tad Murata

3:45pm - 4:15pm
The (True) Concurrent Markov Property and Some Applications to Markov Nets
Samy Abbes

4:15pm - 4:45pm
A Framework to Decompose GSPN models
Leonardo Brenner, Paulo Fernandes, Afonso Sales, and Thais Webber

4:45pm - 5:15pm
A High Level Language for Structural Relations in Well-formed Nets
Lorenzo Capra, Massimiliano De Pierro, and Giuliana Franceschinis

5:15pm - 6:15pm
Closing Session

Time	Tutorials in ECS 235	Advanced Tutorials in ECS 243	Workshops in ECS 212
9:00am	Informal Introduction to Petri Nets (Wolfgang Reisig)	Scenario based methods for system design (Abhik Roychoudhury and P.S. Thiagarajan)	Coordination and Workflow (Dan Marinescu)
9:30am	Elementary Net Systems I (Jetty Kleijn)
10:30am 11:00am	Coffee Break
	... continued	... continued	... continued
11:30am	Place/Transition Nets I (Wolfgang Reisig)
12:30pm 1:30pm	Lunch
	... continued	... continued	... continued
2:30pm	Timed and Stochastic Nets (Susanna Donatelli)
3:30pm 4:00pm	Coffee Break
	High Level Nets (Kurt Jensen)	... continued	... continued
5:30pm 6:00pm
9:00am	Elementary Net Systems II (Jetty Kleijn)	Hardware (Yakovlev and Cortadella)	Workshop on Control of Hybrid and Discrete Event Systems (CHyDES'05) (Ramavarapu Sreenivas, Toshimitsu Ushio and José Manuel Colom)
10:30am 11:00am	Coffee Break
	Place/Transition Nets II (Manuel Silva)	... continued	... continued
12:30pm 2:00pm	Lunch
	Introduction to GSPNs (Sussanna Donatelli)	Model driven architecture (Simon Johnston)	... continued
3:00pm	High Level Nets II (Kurt Jensen)
3:30pm 4:00pm	Coffee Break
	... continued	... continued	... continued
5:30pm 6:00pm
7:30pm	Reception at the Radisson Mart Plaza Hotel (renamed to Sheraton)

Wednesday, June 22, 2005 in the Graham Center Ballroom
	9:00am - 9:15am	Opening Session
	9:15am - 10:45am	Session Chair: Gianfranco Ciardo
	9:15am - 10:15am	Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control (Invited Talk) Manuel Silva
	10:15am - 10:45am	Specifying and Analyzing Software Safety Requirements of a Frequency Converter using Coloured Petri Nets Lisa Wells, Thomas Maier
	10:45am - 11:00am	Coffee Break
	11:00am - 12:30pm	Session Chair: Guy Juanole
	11:00am - 11:30am	Particle Petri Nets for Aircraft Procedure Monitoring under Uncertainty Charles Lesire, Catherine Tessier
	11:30am - Noon	Timed-Arc Petri Nets vs. Networks of Timed Automata Jiri Srba
	Noon - 12:30pm	Extremal Throughputs in Free-choice Nets Anne Bouillard, Bruno Gaujal, Jean Mairesse
	12:30pm - 2:00pm	Lunch
	2:00pm - 3:30pm	Session Chair: Soren Christensen
	2:00pm - 2:30pm	Protos 7.0: Simulation made accessible Eric Verbeek, Maarte van Hattem, Hajo Reijers, Wendy de Munk
	2:30pm - 3:00pm	High level Petri nets analysis with Helena Sami Evangelista
	3:00pm - 3:30pm	The ProM framework: A new era in process mining tool support Boudewijn van Dongen, A.K.A. de Medeiros, H.M.W. Verbeek, A.J.M.M. Weijters, W.M.P. van der Aalst
	3:30pm - 4:00pm	Coffee Break
	4:00pm - 5:30pm	Session Chair: Kurt Jensen
	4:00pm - 5:30pm	Distinguished Lecture: New Dimensions for Nets (Invited Talk) Carl Adam Petri

Thursday, June 23, 2005 in the Graham Center Ballroom
	9:00am - 10:30am	Session Chair: Philippe Darondeau
	9:00am - 10:00am	Towards an Algebra for Security Policies (Invited Talk) Jeannette Wing
	10:00am - 10:30am	Modeling Dynamic Architectures Using Nets-within-Nets Lawrence Cabac, Michael Duvigneau, Daniel Moldt, and Heiko Rölke
	10:30am - 11:00am	Coffee Break
	11:00am - 12:30pm	Session Chair: Lucia Pomello
	11:00am - 11:30am	Achieving a General, Formal and Decidable Approach to the OR-join in Workflow using Reset nets Moe Thandar Wynn, David Edmond, W.M.P. van der Aalst, A.H.M. ter Hofstede
	11:30am - Noon	Soundness of Resource-Constrained Workflow Nets Kees van Hee, Alexander Serebrenik, Natalia Sidorova, and Marc Voorhoeve
	Noon - 12:30pm	Genetic Process Mining W.M.P. van der Aalst, A.K. Alves de Medeiros, A.J.M.M. Weijters
	12:30pm - 2:00pm	Lunch
	2:00pm - 3:30pm	Session Chair: Gianfranco Ciardo
	2:00pm - 3:00pm	Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets (Invited Talk) Giuliana Franceschinis
	3:00pm - 3:30pm	Derivation of Non-Structural Invariants of Petri Nets Using Abstract Interpretation Robert Clariso, Enric Rodriguez-Carbonell, Jordi Cortadella
	3:30pm - 4:00pm	Coffee Break
	4:00pm - 5:30pm	Session Chair: Kees van Hee
	4:00pm - 4:30pm	Reference and Value Semantics are Equivalent for Ordinary Object Petri Nets Michael Köhler, and Heiko Rölke
	4:30pm - 5:00pm	Modeling Multi-Valued Genetic Regulatory Networks Using High-Level Petri Nets Jean-Paul Comet, Hanna Klaudel, Stephane Liauzu
	5:00pm - 5:30pm	High-Level Nets with Nets and Rules as Tokens Kathrin Hoffmann, Hartmut Ehrig, Till Mossakowski
	7:30pm	Banquet at the Radisson Mart Plaza Hotel (renamed to Sheraton)

Friday, June 24, 2005 in the Ryder Business Building (BA 120)
	9:00am - 10:30am	Session Chair: Gabriel Juhas
	9:00am - 10:00am	Processes for a service oriented world (Invited Talk) Francisco Curbera
	10:00am - 10:30am	Termination Properties of TCP's Connection Management Procedures Bing Han, Jonathan Billington
	10:30am - 11:00am	Coffee Break
	11:00am - 12:30pm	Session Chair: Johan Lilius
	11:00am - 11:30am	Determinate STG Decomposition of Marked Graphs Mark Schäfer, Walter Vogler, and Petr Jancar
	11:30am - Noon	On the Expressive Power of Petri Net Schemata Wolfgang Reisig
	Noon - 12:30pm	On the Equivalence between Liveness and Deadlock-Freeness in Petri Nets Kamel Barkaoui, Jean-Michel Couvreur, and Kais Klai
	12:30pm - 2:00pm	Lunch
	2:00pm - 3:30pm	Session Chair: Jetty Kleijn
	2:00pm - 3:00pm	Applications of Craig's Interpolation to Model Checking (Invited Talk) Ken McMillan
	3:00pm - 3:30pm	Can I Execute my Scenario in your Net? Gabriel Juhás, Robert Lorenz, and Jörg Desel
	3:30pm - 3:45pm	Coffee Break
	3:45pm - 5:15pm	Session Chair: Tad Murata
	3:45pm - 4:15pm	The (True) Concurrent Markov Property and Some Applications to Markov Nets Samy Abbes
	4:15pm - 4:45pm	A Framework to Decompose GSPN models Leonardo Brenner, Paulo Fernandes, Afonso Sales, and Thais Webber
	4:45pm - 5:15pm	A High Level Language for Structural Relations in Well-formed Nets Lorenzo Capra, Massimiliano De Pierro, and Giuliana Franceschinis
	5:15pm - 6:15pm	Closing Session