26th International Conference On Application and Theory
of Petri Nets and Other Models of Concurrency
Miami, Florida, June 20-24, 2005
Webpage Address: http://www.cs.fiu.edu/atpn2005
Contact E-mail: atpn2005@cs.fiu.edu
ATPN2005 Menu
-Home
-Call for Papers
-Important Dates
-Satellite Events
-Invited Speakers
-Final Program
-Organizers & Committee
-Registration
-Conference Location
-History of the Conference
-Hotel
-Bus Schedule
-Driving Directions


Click for Miami, Florida Forecast

Invited Speakers

-  
Carl Adam Petri (Topology),
New Dimensions for Nets
 
-  
Francisco Curbera (Processes for a Service Oriented World),
Processes for a service oriented world
 
-  
Jeannette Wing (Software Engineering),
Towards an Algebra for Security Policies
 
-  
Giuliana Franceschinis (Performance Analysis),
Expressiveness and efficient analysis of stochastic well formed nets
 
-  
Manuel Silva (Continuous and hybrid systems),
Continuization of timed Petri nets: from performance evaluation to observation and control
 
-  
Ken McMillan (Model Checking),
Applications of Craig's Interpolation to Model Checking
 
Webmaster: webmaster@cs.fiu.edu