%2.07.97
\documentclass{article}

\usepackage{multicol}

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

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

\begin{document}

\begin{center}
 {\LARGE\sf CALL for PAPERS} \\[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}

\begin{multicols}{2}

\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.  The workshop
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 studied as well as the application to selected
domains including flexible manufacturing, logistics, telecommunication
and workflow management.  Additional interest lies in tools supporting
the disciplines mentioned above.


\paragraph{Topics:}
Contributions describing original research in topics related to Petri
nets and surveys addressing open problems and new applications of
Petri nets are being sought. Topics of interest include but are not
limited to:

\begin{itemize}
        \item  Modelling
\begin{itemize}
        \item  representation of formal models by intuitive modelling
concepts

        \item  guidelines for the construction of system models

        \item  representative examples

        \item  state-, event-, and object-oriented approaches

        \item  adaption, integration, and enhancement of concepts from other
  disciplines

        \item  views and abstractions of systems
\end{itemize}


        \item  Validation and Execution
\begin{itemize}
        \item  prototyping

        \item  simulation, observation, animation

        \item  code generation and execution

        \item  testing and debugging

        \item  efficient implementation
\end{itemize}


        \item  Verification
\begin{itemize}
        \item  structural methods (e.g.\ place invariants, reduction rules)

        \item  results for structural subclasses of nets

        \item  relations between structure and behaviour

        \item  state space based approaches

        \item  efficient model checking

        \item  assertional and deductive methods (e.g. temporal logics)

        \item  process algebraic methods

        \item  applications of category theory and linear logic
\end{itemize}

        \item Application of Petri nets in System Engineering, in 
        particular the use of Petri nets in the domains flexible 
        manufacturing, logistics, telecommunication and workflow management.
        
        \item  Tools in the fields mentioned above.

\end{itemize}



\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{Submission of Contributions:}
The program team invites submissions of contributions (10 pages).  
E-mail submissions (in postscript or plain text) are encouraged.  
Please submit to
\texttt{pnse97@informatik.uni-hamburg.de} .
Hard copy submissions are also accepted and should be sent
to the chairperson of the program team:

\begin{quote}
  Daniel Moldt \\
  University of Hamburg\\
  Dept.\ of Computer Science\\
  Vogt-K{\"o}lln-Str. 30\\
  D-22527 Hamburg\\
  Germany\\
\end{quote}

\begin{tabular}{ll}
Deadline for submissions: & {\bf July 30, 1997}\\
Notification of acceptance: & {\bf August 30, 1997}
\end{tabular}

\medskip
Camera-ready copies of the full paper are due shortly after
notification of acceptance to ensure availability to participants of
the workshop.  Presented contributions will be published as
proceedings in the report series of the Dept. of Computer Science of
the University of Hamburg. Papers passing a particular review are
planned to be included in a special issue of a journal or a book.

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{multicols}

\end{document}
