%10.09.97
\documentclass{article}

\usepackage{multicol}

\setlength{\topmargin}{-1.0in}
\setlength{\oddsidemargin}{-0.6in}
\setlength{\evensidemargin}{-0.6in}

\setlength{\textwidth}{7.5in}
\setlength{\textheight}{10.3in}
%\setlength{\parskip}{0pt}

\begin{document}

\begin{center}
 {\LARGE\sf CALL for PARTICIPATION} \\[0.5ex]
 {\LARGE\bf Workshop PNSE'97\\[0.5ex]
            Petri Nets in System Engineering\\[0.5ex]}
 {\Large\bf Modelling, Verification, and Validation}\\[0.5ex]
 {\large Hamburg, Germany, September 25--26, 1997}%
\end{center}


\thispagestyle{empty}

\small

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.


\paragraph{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.


\paragraph{Please note:}
The participation at the workshop is free.


\paragraph{Program (Thursday 25.9.97):}~\\

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

\paragraph{Program (Friday 26.9.97):}~\\

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

\clearpage

\paragraph{Program Team:}
        \begin{quote}
                Wil van der Aalst (Eindhoven Univ.\ of Technology,
Netherlands),
                Jos{\'e}-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)
        \end{quote}
        
\paragraph{Local Organizing Team:}
        \begin{quote}
                Berndt Farwer,
                Daniel Moldt,
                Mark-Oliver Stehr
                (all: Univ.\ Hamburg)
        \end{quote}

\paragraph{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:
\begin{quote}
     Universit{\"a}t Hamburg \\
     Fachbereich Informatik \\
     Arbeitsbereich Theoretische Grundlagen der Informatik \\
     Geb{\"a}ude C \\
     Vogt-K{\"o}lln-Str. 30 \\
     D-22527 Hamburg, Germany \\
     Tel.: (+49) 040 - 5494 - 2407 
\end{quote}

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 \texttt{pnse97@informatik.uni-hamburg.de} or see\\
{\footnotesize
  \texttt{http://www.informatik.uni-hamburg.de/TGI/aktuelles/pnse97.html}}.

\end{document}


