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