CALL for PARTICIPATION
======================
Workshop PNSE'97

Petri Nets in System Engineering
(Modelling, Verification, and Validation)

Hamburg, Germany, September 25-26, 1997

For the successful realisation of complex systems of interacting and
reactive software and hardware components the use of a precise
language at different stages of the development process is of crucial
importance.  Petri nets are becoming increasingly popular in this
area, as they provide a uniform language supporting the tasks of
modelling, validation and verification. Their popularity is due to the
fact that fundamental aspects of causality, concurrency and choice are
captured by Petri nets in a natural and mathematically precise way
without compromising readability.

The workshop PNSE'97 (Petri nets in System Engineering) will take
place at the University of Hamburg on September 25--26.  It
is organized by the members of the European community project MATCH
(Modelling and Analysis of Time Constrained and Hierarchical Systems).
Project partners include the universities of Eindhoven, Genova,
Hamburg, Paris, Turin, Vienna, and Zaragoza.

Scope:
------

The use of Petri nets (P/T-nets, coloured nets and extensions) in the
formal process of System Engineering, covering modelling, validation
and verification, is presented as well as their application and 
tools supporting the disciplines mentioned above.

Please note:
------------

The participation at the workshop is free.


Program:
--------

Thursday, September 25th

8:30 - 9:15 
     Registration 
9:15 - 9:30 
     Opening 
9:30 - 10:30 
     Applying an Object-Oriented Petri Net Language to 
     Heterogeneous Systems Design 
     R. Esser, J.W. Janneck, M. Naedele 
     Object Coloured Petri Nets - a Formal Technique for 
     Object Oriented Modeling 
     Ch. Maier, D. Moldt 
10:30 - 11:00 
     Coffee Break 
11:00 - 12:00 
     Verification of Coloured Petri Nets Using State Spaces with 
     Equivalence Classes 
     J.B. Jorgensen, L.M. Kristensen 
     State Space Analysis of Hierarchical Coloured Petri Nets 
     S. Christensen, L.M. Kristensen 
12:00 - 13:30 
     Lunch 
13:30 - 14:30 
     Expanding the Use of Structuring -- 
     Formal Justification for Working on Subnets 
     C. Ermel, M. Gajewsky 
     Parameterised General Refinement in the M-net Calculus 
     R. Devillers, H. Klaudel, R.-C. Riemann 
14:30 - 15:00 
     Coffee Break 
15:00 - 16:00 
     Scheduling with Chameleon Nets 
     T. Kis, K.-P. Neuendorf, P. Xirouchakis 
     A Petri-net-based Tool to Analyze Workflows 
     W.M.P. van der Aalst, H.M.W. Verbeek, D. Hauschildt 
16:00 - 16:15 
     Coffee Break 
16:15 - 17:00 
     Discussion 

Friday, September 26th

9:00 - 10:30 
     Modelling and Verification with Petri Nets 
     R. Mackenthun, M. Voorhoeve 
     A Temporal Logic for Events and States in Petri Nets 
     E. Kindler, T. Vesper 
     Transformation and Decomposition Techniques to Improve 
     the Decision Power of the Rank Theorems 
     L. Recalde, E. Teruel, M. Silva 
10:30 - 11:00 
     Coffee Break 
11:00 - 12:00 
     Structural Analysis of Signal Transition Graphs 
     F. Garcia-Valles, J.M. Colom 
     A partial approach to the problem of deadlocks in 
     processes with resources 
     F. Tricas, J. Ezpeleta 
12:00 - 13:30 
     Lunch 
13:30 - 14:30 
     Data Encapsulation and Data Abstraction with Petri Nets - 
     graphical Visualization of Modules 
     O. Fricke 
     A Petri net-based support for specification of complex control 
     systems in UML 
     A. Diagne, J.-M. Ilie, D. Moldt 
14:30 - 14:45 
     Coffee Break 
14:45 - 16:00 
     Discussion 


Program Team:
-------------
        
Wil van der Aalst (Eindhoven Univ. of Technology, Netherlands),
Jose-Manuel Colom (Univ. Zaragoza, Spain),
Susanna Donatelli (Univ. Turin, Italy),
Fabrice Kordon (Univ. P. et M. Curie-CNRS 4, Paris, France),
Gabriela Kotsis (Univ. Vienna, Austria),
Daniel Moldt (Univ. Hamburg, Germany)


Local Organizing Team:
----------------------

Berndt Farwer,
Daniel Moldt,
Mark-Oliver Stehr
(all: Univ. Hamburg)

Registration, Workshop Location, and Accommodation:
---------------------------------------------------

The workshop will take place at the campus site of the Computer Science 
Department of the University of Hamburg, Germany.
The address:

     Universitaet Hamburg 
     Fachbereich Informatik 
     Arbeitsbereich Theoretische Grundlagen der Informatik 
     Gebaeude C 
     Vogt-Koelln-Str. 30 
     D-22527 Hamburg, Germany 
     Tel.: (+49) 040 - 5494 - 2407 

Please register as soon as possible by email, telephone or 
normal mail. Participation in the workshop is free.
There are some hotels nearby.
Addresses and prices can be found on our web site.
Rooms can be booked directly or by our secretary.

For further information about PNSE'97 contact the local organizing
team by email at pnse97@informatik.uni-hamburg.de or see
http://www.informatik.uni-hamburg.de/TGI/aktuelles/pnse97.html .