2016 16th International Conference on Application of Concurrency to System Design (ACSD)

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:

Modeling

•  representation of formal models by intuitive modeling 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

•  modeling 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 behavior

•  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

•  big data

•  cyper-physical systems

•  internet-of-things

•  cloud computing

•  distributed systems

•  workflow management and embedded systems

• Tools in the fields mentioned above