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.

• 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 and
•  embedded systems.
• Tools in the fields mentioned above

• Elvio Amparore ( Università degli Studi di Torino, Italy)
• Gabriele Anderst-Kotsis (Austria)
• Bernhard Bauer (Germany)
• José Ángel Bañares (University of Zaragoza, Spain)
• Robin Bergenthum (University of Hagen, Germany)
• Olivier Boissier (France)
• Piotr Chrzastowski-Wachtel (University of Warsaw, Poland)
• Gianfranco Ciardo (Iowa State University, USA)
• José-Manuel Colom (University of Zaragoza, Spain)
• Ernesto Damiani (Italy)
• Joaquín Ezpeleta Mateo (Spain)
• Giuliana Franceschinis (Università del Piemonte Orientale, Italy)
• Luciano García-Bañuelos (Estonia)
• Holger Giese (Germany)
• Nicolas Guelfi (University of Luxembourg)
• Serge Haddad (ENS Cachan, France)
• Xudong He (Florida International University, USA)
• Thomas HIldebrandt (Copenhagen University, Denmark)
• Lom Messan Hillah (France)
• Vladimir Janousek (Brno University of Technology, Czech Republic)
• Peter Kemper (College of William and Mary, USA)
• Ekkart Kindler (Technical University of Denmark, Denmark) (Co-Chair)
• Radek Koci (University of Brno, Czech republic)
• Maciej Koutny (Newcastle University, United Kingdom)
• Lars Kristensen (Bergen University College, Norway)
• Fabrizio Maggi (Estonia)
• Heinrich Mayr (Austria)
• Daniel Moldt (University of Hamburg, Germany) (Co-Chair)
• Andrea Omicini (Italy)
• Richard Paige (University of York, United Kingdom)
• Wojciech Penczek (University of Podlasie, Poland)
• Laure Petrucci (University Paris Nord, France)
• Alfonso Pierantonio (Università degli Studi dell'Aquila, Italia)
• Pascal Poizat (France)
• Franck Pommereau (University of Évry, France)
• Heiko Rölke (University of Applied Science HTW Chur, Switzerland) (Co-Chair)
• Bernhard Rumpe (RWTH Aachen University, Germany)
• Mattia Salnitri (Italy)
• Alexei Sharpanskykh (The Netherlands)
• Yann Thierry-Mieg (University P. & M. Curie, LIP 6, France)
• Adelinde Uhrmacher (Germany)
• Antonio Vallecillo (University of Malaga, Spain)
• Jan Martijn van der Werf (Utrecht University, Netherlands)
• H.M.W. Eric Verbeek (Eindhoven University, Netherlands)
• Matthias Weidlich (Germany)
• Manuel Wimmer (Austria)
• Christian Zirpins (Germany)