PNDS'08

International Workshop on
Petri Nets and Distributed Systems

Xi'an, China, June 23-24, 2008

a satellite event of

Petri Nets 2008
29th International Conference on Application and Theory of
Petri Nets and Other Models of Councurrency

and

ACSD 2008
8th International Conference on Application of Concurrency to System Design

http://ictt.xidian.edu.cn/atpn-acsd2008

Contact e-mail: pnds08_at_informatik_dot_uni-hamburg_dot_de

Important Dates
Workshop: June 23-24, 2008

Short cut to upload the final submission: http://www.easychair.org/conferences/?conf=pnds08


Program as pdf
Program as txt
Program as htm
Scope    Topics    Invited Speaker    Program chairs    Programme Committee    Registration & Accommodation    Submissions    Important Dates   

Scope

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.


Topics

Contributions describing original research in topics related to Petri nets in combination with distributed systems addressing open problems or presenting new ideas regarding the relationship of Petri nets and distributed systems are welcome. Furthermore surveys addressing open problems and new applications of Petri nets within the distributed system field are being sought. Topics of interest include but are not limited to:

Invited Speaker

Lars M. Kristensen (Denmark): The ASAP Platform: Next Generation Tool Support for State Space Analysis of CPN Models (abstract)

Program chairs

Heiko Rölke (DIPF, Germany),
Natalia Sidorova (Eindhoven University of Technology, The Netherlands),
Daniel Moldt (University of Hamburg, Germany)

Programme committee



Registration & Accommodation

Please register for the PNDS'08 workshop at the registration site of the Petri Nets 2008 conference (here).

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)


Submissions

The papers were peer reviewed by at least three members of the PC. Accepted papers will be included in the workshop proceedings, which will be available at the workshop. At least one author of an accepted paper will be required to present the paper at the workshop.

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.

For further information on PNDS'08 contact the programme committee by email at pnds08_at_informatik_dot_uni-hamburg_dot_de

----------

>  [TGI] [Informatik] [Universität]  <

http://www.informatik.uni-hamburg.de/TGI/events/pnds08/
Impressum