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'14 (Petri Nets and Software Engineering) will take
place as a satellite event of Petri Nets 2014 and ACSD 2014.

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:

Registration & Accommodation

Information about how to reach the workshop / conference site and
about hotels can be found at the
Petri Nets 2014 Travel pages.

The papers have been peer reviewed by at least three members of the PC.
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.