PNSE'07

International Workshop on
Petri Nets and Software Engineering

Siedlce, Poland, June 25-26, 2007

a satellite event of

Petri Nets 2007
28th International Conference on Application and Theory of
Petri Nets and Other Models of Councurrency

Additional information about the conference will be published via
http://atpn2007.ap.siedlce.pl

Contact e-mail: pnse07_at_informatik_dot_uni-hamburg_dot_de

Important Dates:
Paper submission: closed
Workshop: June 25-26, 2007

PNSE'07 Programme
(Version: 13th June 2007)

First pages of the PNSE'07 Proceedings


Scope    Topics    Invited Speaker    Organization Committee    Programme Committee    Registration & Accommodation    Submissions   

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.

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

The workshop PNSE'07 (Petri nets and Software Engineering) will take place as a satellite event of the 28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency in Siedlce, Poland, June 25-29, 2007.

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

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 surveys addressing open problems and new applications of Petri nets are being sought. Topics of interest include but are not limited to:

Invited Speaker

Kees van Hee
Eindhoven University of Technology
The Netherlands

Frameworks for Software Architecture

Abstract

The architecture of a software system is a set of models describing different parts or different aspects of the system. These different models present different views on the system and these views should be consistent and complete. Consistency means that it is impossible to derive a contradiction form two or more different views. Completeness means that all relevant aspects of the system are covered by the views, so it must be possible to construct an acceptable system without further information. An architecture is not only used to design a system. It is also used to analyze the behavior of the system, in particular performance analysis and conformance analysis. Last but not least an architecture is also used for the management and maintenance of a system. There are many languages and frameworks to define architectures. Service oriented architecture can be considered as a style of architecture. Most frameworks for architecture are biased toward one type of view, for instance the components structure. We will focus on architectural frameworks in which the following four elements are first class citizens: components, processes, data models and operations. This allows us to have different views on the same software system. In the talk we will make a step towards a modeling framework where these concepts fit together in a natural way and which allows for verification.

Organization committee

Rémi Bastide (University of Toulouse, France),
José-Manuel Colom (University of Zaragoza, Spain),
Kees van Hee (Eindhoven University of Technology, The Netherlands),
Fabrice Kordon (University Pierre et Marie Curie-CNRS 4, Paris, France),
Daniel Moldt (University of Hamburg, Germany)

Programme committee



Registration & Accommodation

Please register for the PNSE'07 workshop at the registration site of the Petri Nets 2007 conference (later).

Information about how to get to Siedlce and to the conference site and about hotels can be found at the conference web site (later).


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 preproceedings. Nevertheless only 15 pages will be allowed for the possible postproceedings papers.

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

https://www.informatik.uni-hamburg.de/TGI/events/pnse07/conftool/index.php

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 two members of the PC. Accepted papers will be included in the workshop proceedings which will be available at the workshop.

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


Accepted contributions will be included in the workshop proceedings, which will be available at the workshop.

The submissions will be evaluated by the international programme committee.

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 PNSE'07 contact the programme committee by email at pnse07_at_informatik_dot_uni-hamburg_dot_de
Daniel Moldt
http://www.informatik.uni-hamburg.de/TGI/events/pnse07/
Impressum