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
and
RSP 2009
20th IEEE/IFIP International Symposium on Rapid System Prototyping
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
|
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:
-
Modelling
-
representation of formal models by intuitive modelling concepts
-
guidelines for the construction of system models
-
representative examples
-
state-, event-, object-, and agent-oriented approaches
-
adaption, integration, and enhancement of concepts from other
disciplines
-
views and abstractions of systems
-
model driven architecture
-
modelling software landscapes
-
web service based software development
-
Validation and Execution
-
prototyping
-
simulation, observation, animation
-
code generation and execution
-
testing and debugging
-
efficient implementation
-
Verification
-
structural methods (e.g. place invariants, reduction rules)
-
results for structural subclasses of nets
-
relations between structure and behaviour
-
state space based approaches
-
efficient model checking
-
assertional and deductive methods (e.g. temporal logics)
-
process algebraic methods
-
applications of category theory and linear logic
-
Application of Petri nets in Software Engineering, in particular the
use of Petri nets in the domains of
- flexible manufacturing,
- logistics,
- telecommunication, and
- workflow management.
-
Tools in the fields mentioned above
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.
Daniel Moldt
http://www2.informatik.uni-hamburg.de/tgi/events/pnse09/
Impressum