Contact e-mail: pnds08_at_informatik_dot_uni-hamburg_dot_de
Workshop: June 23-24, 2008
Distributed systems often show characteristics, that cannot easily be modeled. Independent parts are connected to build systems that span several locations. Modelling support requires the availability of appropriate concepts, principles, techniques, tools, paradigms and methods.
While Petri nets are well known as a powerful modeling technique, specific complete approaches to solve the above mentioned facets are relatively rare. Nevertheless many successful projects have delivered solutions for some / several facets. PNDS'08 will provide a forum for practioners and theoreticians to discuss the best practices and the best combinations of theory and practice. This will facilitate a discussion from different perspectives: coming from the Petri nets or the distributed systems directions.
Petri nets are being used 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 main focus of the workshop will be the application of Petri nets (P/T-nets, coloured Petri nets and extensions) to the formal treatment of distributed systems, covering modelling, validation, and verification.
Lars M. Kristensen (Denmark): The ASAP Platform: Next Generation Tool Support for State Space Analysis of CPN Models (abstract)
Heiko Rölke (DIPF, Germany),
Natalia Sidorova (Eindhoven University of Technology, The Netherlands),
Daniel Moldt (University of Hamburg, Germany)
Information about how to get to Xi'an and to the conference site and
about hotels can be found at the
conference web site. (here)
Some of the best papers from the workshop will be invited for publication in a volume of a new journal subline of Lecture Notes in Computer Science entitled "Transactions on Petri Nets and Other Models of Concurrency" (ToPNoC). The papers are expected to be thoroughly revised and they will go through a totally new round of reviewing as is standard practice for journal papers.