PNDS'2005

First Workshop on High-Level Petri Nets and Distributed Systems

Hamburg, Germany, March 14-16, 2005

Petri nets are well known as a powerful modelling technique. They serve in many different areas of computer science as well as in other fields like engineering and business. For the successful realization 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.

Scope: The problem to manage complexity is the one that attracts
most of the efforts of the current research in the area of Petri nets and
similar approaches. The concrete aspects however, differ considerably,
reaching from additional concepts, structural and behavioural views, tool
support, theoretical foundations, and applications.

Within this workshop different concepts for distributed systems and the
application of Petri nets within the area of distributed systems will be discussed.
The emphasis of the workshop will be on theoretical concepts which are related to existing tools and the tools themselves. Furthermore other
topics of interest in distributed systems research will be discussed.

Please note: The participation at the workshop is free and open to
everybody. Please contact the local organizer for your participation.