ICATPN'97

---

International Conference on
Application and Theory of Petri Nets

---

Toulouse, France, June 25-27, 1997

• Preliminary Program

  ---

  Wednesday, 25/6/97

  ---

  8:30 Opening session
  9:00 Verification with Petri Nets,
  Invited Speaker: Javier Esparza
  
  10:00 Coffee break
  
  10:30 On the Abstraction of Coloured Petri net,
  Charles Lakos (University of Tasmania, Hobart, Australia)
  11:00 Life-cycle Inheritance: A Petri-Net-Based Approach,
  W.M.P. van der Aalst and T. Basten (Eindhoven Univ. of Technology, The Netherlands)
  11:30 Multi-Agent-Systems based on Coloured Petri Nets,
  D. Moldt and F. Wienberg ( University of Hamburg, Hamburg Germany)
  
  12:00 Lunch
  
  14:00 On the Complexity of the linear-time mu-calculus for Petri Nets,
  Peter Habermehl (VERIMAG, Montbonnot Saint-Martin, France)
  14:30 Improved Implementations via a New Structural Equivalence on Labeled Nets
  W. Fraczak, and E. Pelz (University of Paris-Sud, Paris, France)
  
  15:00 Coffee Break
  
  15:30 Time Processes for Time Petri Nets
  T. Aura, J. Lilius (Helsinki University of Technology, Espoo Finlande
  16:00 Timed Petri Nets and Temporal Linear Logic
  M. Tanabe (Kyoto University, Japan)
  16:30 Efficient Handling of Phase-type Distributions in Generalized Stochastic} Petri Nets
  S. Haddad, P. Moreaux, G. Chiola (LAMSADE, Paris, France)
  
  17:00-18:00 Tool Presentation
  Exploiting Various Levels of Semantics in CO-OPN for the SANDS Environmental Tools,
  D. Buchs, J. Hulaas, and P. Racloz (Swiss Federal Institute of Technology, Lausanne, Switzerland)
  SYROCO: A Distributed System of Cooperative Objects,
  C. Sibertin-Blanc (Universite Toulouse 1, IRIT, Toulouse, France)
  LOOPING: Language Based on Object Oriented Petri Nets Graphically Extended,
  P. Bergougnoux and E. Mathet (Universite Toulouse 1, Sciences Sociales, Toulouse, France)
  
  

  ---

  Thursday, 26/6/97

  ---

  
  8:30 Some issues about Petri Net Application to Manufacturing and Process Supervisory Control,
  Invited Speaker: R. Valette (LAAS-CNRS)
  9:30 Axioms of Concurrency A Selection of Recent Results,
  Olaf Kummer, Mark-Oliver Stehr (Hamburg University, Germany)
  
  10:00 Coffee break
  
  10:30 Analysis of Petri Nets with a Dynamic Priority Method,
  Falko Bause (Dortmund University, Germany)
  11:00 A Compositional Partial Order Semantics for Petri Net Components,
  Ekkart Kindler (Humboldt University, Berlin, Germany)
  11:30 Covering Step Graph preserving Failure Semantics,
  F. Vernadat, F. Michel (LAAS-CNRS, Toulouse, France)
  
  12:00 Lunch
  
  14:00 Siphons, Traps and High-Level nets with Infinite Color Domains,
  Karsten Schmidt (Helsinki University of Technology, Espoo, Finlande)
  14:30 Teaching Coloured Petri Nets - a Gentle Introduction to Formal Methods in a Distributed Systems Course, S. Christensen and K.H. Mortensen (University of Aarhus, Aarhus, Denmark)
  
  15:00Coffee break
  
  15:30 Transition Systems of Elementary Net Systems with Inhibitor Arcs,
  Marta Pietkiewicz-Koutny (University of Newcastle upon Tyne, England)
  16:00 Coupling asynchrony and interrupts: Place Chart Nets and their Synthesis
  M. Kishinevsky (University of Aizu, Fukushima, Japan), J.Cortadella (Universidad Catalunya, Barcelona, Spain), A. Kondratyev (Aizu Univ.), L. Lavagno (Torino Univ., Italy), A. Taubin (Aizu Univ.), A. Yakovlev (University of Newcastle upon Tyne, England)
  16:30 Modeling and Solving Constraint Satisfaction Problems through Petri Nets
  L. Portinale (University of Torino, Torino, Italy)
  
  17:00Tool Presentation
  The PEP Tool B. Grahlmann (University of Hildesheim, Hildesheim, Germany)
  MISS-RdP: Interactive Modelling and System Simulation by Petri Nets
  C. Lansade (IXI, Toulouse, France)
  Simulation and Modeling of Real Time Distributed Systems with extended Petri-Nets: ELSIR, Simulate before Decide M. Pollina and E. Britz (ADV Technologies, Ramonville, France)
  WebSPN: Non Markovian Stochastic Petri Net Tool
  A. Bobbio, A. Puliafito, M. Scarpa, and M.Telek (Universita' di Torino, Torino, Italy)

  ---

  Friday, 27/6/97

  ---

  9:00 On the Composition of Timed Systems,
  Invited speaker: J. Sifakis (VERIMAG)
  
  10:00 Coffee break
  
  10:30 Fault Detection in Telecommunication Networks Based on Petri Net Representation of Alarm Propagation, R. Boubour and C. Jard (IRISA, Rennes, France)
  11:00 Analysing Bang \& Olufsen's BeoLink Audio/Video System Using Coloured Petri Nets,
  S. Christensen and J.B. Jorgensen (University of Aarhus, Aarhus, Denmark)
  11:30 Verification of Workflow Nets
  W.M.P. van der Aalst (Eindhoven University of Technology, The Netherlands)
  
  12:00 Lunch break
  
  14:00 Verification of Siphons and Traps for algebraic Petri nets,
  K. Schmidt (Helsinki University of Technology, Espoo, Finlande)
  14:30 Orthogonal Transformations for Coloured Petri Nets,
  Eike Best (Oldenburg University, Germany), T. Thielke (Hildesheim University, Germany)
  
  
  15:00-16:00 Closing Session

  ---

Back to ICATPN main page