PNSE'09

International Workshop on Petri Nets and Software Engineering

Paris, France, June 22/23, 2009

a satellite event of

Petri Nets 2009
30th International Conference on Application and Theory of
Petri Nets and Other Models of Concurrency

More information: http://petrinet2009.lip6.fr/

and

RSP 2009
20th IEEE/IFIP International Symposium on Rapid System Prototyping

More information: http://www.rsp-symposium.org/

Contact e-mail: pnse09_at_informatik_dot_uni-hamburg_dot_de

Important Dates:
Deadline for full papers: expired
Deadline for short papers: expired
Notification of paper acceptance: done
Deadline for posters: May 11, 2009
Notification of poster acceptance: May 14, 2009
Deadline for all accepted contributions: May 21, 2009
Workshop: June 22/23, 2009

PNSE'09 Schedule

First pages of the PNSE'09 Proceedings

FULL PNSE'09 Proceedings


Scope    Topics    Invited Speaker    Programme Committee    Registration & Accommodation    Submissions    pdf version of CfP   

Some of the best papers from the workshop will be invited for publication in a volume of the journal sub line 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.
First issue of this series (contains papers from PNSE'07) see: Content of LNCS 5100   Overview of LNCS 5100

Scope

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 Petri nets capture fundamental aspects of causality, concurrency and choice in a natural and mathematically precise way without compromising readability.

The workshop PNSE'09 (Petri nets and Software Engineering) will take place as a satellite event of Petri Nets 2009 and RSP 2009.

The use of Petri nets (P/T-nets, coloured Petri nets and extensions) in the formal process of software engineering, covering modelling, validation, and verification, will be presented as well as their application and tools supporting the disciplines mentioned above.


Topics

We welcome contributions describing original research in topics related to Petri nets in combination with software engineering addressing open problems or presenting new ideas regarding the relation of Petri nets and software engineering. Furthermore we look for surveys addressing open problems and new applications of Petri nets. Topics of interest include but are not limited to:

Invited Speaker

Christophe Sibertin-Blanc (France)
Abstract


Programme committee



Registration & Accommodation

Please register for the PNSE'09 workshop at the registration site of the Petri Nets 2009 Hotel Information.

Information about how to reach the workshop / conference site and about hotels can be found at the Petri Nets 2009 Registration.


Submissions

The programme committee invites submissions of full contributions (up to 15 pages) or short contributions (up to 5 pages). Ongoing work (up to 2 pages) can also be presented in a special poster session.

Please note that for full contributions up to 15 pages are recommended. However, up to 20 pages can be used for the pre-proceedings. Nevertheless only 15 pages will be allowed for the possible post-proceedings papers.

Papers should be submitted in electronic form (PDF) using the Springer LNCS-format (see http://www.springer.de/comp/lncs/authors.html). Submissions should include title, authors' addresses, E-mail addresses, keywords and an abstract. For your submission in PDF format please use the online conference management system at

http://www.easychair.org/conferences/?conf=pnse09

Just create a new account and then upload your paper. (Later you will be able to see your reviews there.)

The papers will be peer reviewed by at least four members of the PC. Accepted contributions will be included in the workshop proceedings, which will be available at the workshop and on this website.

In case of any problems please contact us by email at pnse09_at_informatik_dot_uni-hamburg_dot_de.


Some of the best papers from the workshop will be invited for publication in a volume of the journal sub-line 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 PNSE'09 contact the programme committee by email at pnse09_at_informatik_dot_uni-hamburg_dot_de
TGI Informatik UHH
Daniel Moldt
http://www2.informatik.uni-hamburg.de/tgi/events/pnse09/
Impressum