PNSE'18

For the successful realization 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 modeling, 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'18 (Petri nets and Software Engineering) will take place as a satellite event of Petri Nets 2018 and ACSD 2018.

The use of Petri nets (P/T-nets, colored Petri nets and extensions) in the formal process of software engineering, covering modeling, validation, and verification, will be presented as well as their application and tools supporting the disciplines mentioned above.

This year we will put an emphasize on the impact of software engineering on Petri nets by their concepts, methods, techniques and tools. Therefore we invite contributions that work on subjects the could be relevant for Petri nets, their applications or their tools. Results on other formalisms or semi-formal techniques, their concepts, methods, tools and experiences (successful or not successful) are highly welcome.

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 and for Petri nets. As mentioned above: Any kind of insights and results in the area of software engineering that might be relevant for Petri nets are especially invited. The authors should then have one section on how they think what Petri nets could gain from their contribution. Topics of interest include but are not limited to:

• Software Engineering
  agile development  •  product lines  •  software in business contexts  •  software development and production environments; DevOps; IDEs; continuous integration  •  programming and concurrency  •  technologies: hadoop / MapReduce; akka, Spark; Flink; STORM etc.  •  distributed database technology: redis; cassandra; CouchDB; hadoop; mongoDB etc.  •  concepts for mobility, concurrency, non-determinism, distribution, embedding, flexibility  •  social concepts for norms, rules, contracts, communication, co-ordination, co-operation  •  software engineering addressing Petri nets, UML techniques, BPMN, BPEL, eEPCs, CMMN and other modeling techniques
• Modeling
  representation of formal models by intuitive modeling concepts  •  guidelines for the construction of system models  •  representative examples  •  process-, service-, state-, event-, component-, organization-, object-, agent- and actor-oriented approaches  •  adaption, integration, and enhancement of concepts from other disciplines  •  views and abstractions of systems  •  meta-modeling and domain specific languages (DSLs)  •  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  •  model and graph transformation  •  applications of category theory, rewriting logic and linear logic
• Application of Petri nets and Software Engineering, in particular in the domains of
  education, training and teaching at any level,  •  flexible manufacturing,  •  logistics,  •  telecommunication  •  big data  •  cyber-physical systems  •  internet-of-things  •  grid and cloud computing  •  distributed systems  •  workflow management  •  embedded systems
• Tools in the fields mentioned above