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. 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.


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.


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:

Program Team

Wil van der Aalst (Eindhoven Univ. of Technology, Netherlands),
José-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 
      (Univ. of Hamburg)

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 . Hard copy submissions are also accepted and should be sent to the chairperson of the program team:
Daniel Moldt
University of Hamburg
Dept. of Computer Science
Vogt-Kölln-Str. 30
D-22527 Hamburg
Deadline for submissions: July 30, 1997 
Notification of acceptance: August 30, 1997

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
Click here to download a LaTeX, ASCII or Postscript version of the Call for Participation.

Letzte Änderung: 17:40 19.05.2011