PNSE 2012 - PNSE'12 International Workshop on Petri Nets and Software Engineering

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.
Papers from previous instances of this workshop (PNSE'07, PNDS'08, PNSE'09 and PNSE'10) made it into ToPNoC volumes in the Springer LNCS series (volumes 5100, 5460 and 5800).
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'12 (Petri nets and Software Engineering) will take place as a satellite event of Petri Nets 2012.

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

process-, service-, 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,

workflow management and

embedded systems.
Tools in the fields mentioned above