Additional information about the conference will be published via
Contact e-mail: pnse07_at_informatik_dot_uni-hamburg_dot_de
Paper submission: closed
Workshop: June 25-26, 2007
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.
Kees van Hee
Eindhoven University of Technology
Frameworks for Software Architecture
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.
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)
Information about how to get to Siedlce and to the conference site and
about hotels can be found at the
conference web site (later).
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
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.