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.
The workshop PNDS'2005 will take place at the University of Hamburg, Computer Science Department, Vogt-Kölln-Str. 30 on March, 14-16, 2005. Workshop contributions come from the members of the Petri net groups of the University of Aarhus, Denmark, the University of Eindhoven, Netherlands, and the University of Hamburg, Germany.
Local organizer: Daniel Moldt.
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.