PNSE'15

The workshop PNSE'15 (Petri Nets and Software Engineering) will take place as a satellite event of Petri Nets 2015 and ACSD 2015.

Development of complex systems is an everlasting challenge. The workshop addresses this by discussing the whole range of topics that belong to development approaches: theory, software engineering and modelling. With the background of the Petri net and ACSD conference it has on the one hand a strong background in any kinds of Petri nets and related formalisms. On the other hand software engineering and modelling with their much wider facets are also addressed: Formalisms and their theoretical and practical results need to be embedded. Modelling is one of the dominant topics in this perspective.

This year we explicitly invite papers beside the traditionally Petri net biased papers: In addition to more theoretical papers we look for contributions that put the main emphasize on modelling or software engineering. Papers that aim at the cross-fertilization of applied and theoretical research in the above mentioned areas are most welcome. Especially applications and tools provide settings for empirical and practical research projects, which are of high relevance for the workshop.

Languages supporting the tasks of planning, analyzing, specifying, validation, verification, design, implementation, testing or maintaining. Fundamental concepts and aspects like causality, concurrency, distribution, time, efficiency, correctness, fairness etc. can be addressed with the means of formal modelling as well as with practical means of software engineering. During the workshop we will discuss the mutual dependencies and possibilities of improvements when applied simultaneously.

We welcome contributions describing original research in topics of the above mentioned scope, addressing open problems, presenting new ideas, describing applications or tools. We explicitly invite papers with the main emphasize on software engineering or modeling.

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  •  model transformation
• Software Engineering
  mobile systems and mobile software engineering  •  open source software  •  traceability  •  adaptive and self-managing software  •  education and training  •  software requirements  •  software design and production  •  software development approaches  •  maintenance  •  software security and privacy  •  software robustness, safety  •  modelling, meta-modelling, reference models  •  tools  •  software development processes  •  application domains
• Validation and Execution
  prototyping  •  simulation, observation, animation  •  code generation and execution  •  testing and debugging  •  process mining  •  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  •  general analysis for software engineering contexts
• Petri Nets and other Modelling techniques
  concurrency theory  •  net formalisms  •  Petri nets and other techniques in the context of software engineering or modelling  •  verification, validation and execution  •  algorithms in the field of Petri nets  •  basic concepts  •  Petri net extensions  •  case studies
• Application of Petri nets in Software Engineering, in particular the use of Petri nets in the domains of
  flexible manufacturing  •  logistics  •  telecommunication  •  workflow management  •  embedded systems  •  autonomes systems  •  self-* systems
• Tools in the fields mentioned above