The PeMod workshop addresses trends in modeling as one of the most important activities in informatics by comparing developments in modeling in general and in Petri nets specifically. Modeling comprises techniques, methods and tools to describe, analyze and build software systems which under recent trends have to address characteristics such as: distribution, concurrency, correctness, maintainability, completeness, mobility, flexibility, adaptability, etc. of systems.

In particular, new paradigms such as Internet of Things, Internet of Events, enable new, more dynamic and flexible processes, applications, and systems whose design will depend on the modeling techniques and their related abilities to cover essential features of resulting systems. Flexibility within models of such systems and to options for adaptation will be of special interest for this workshop.

Various fields in informatics developed proven solutions for modeling systems with these characteristics, though not necessarily in an integrated way. Petri nets on the other hand provide concepts for several of these characteristics. Especially high-level Petri nets encompass features, which are highly relevant in modeling and new features are especially developed for Petri nets to model flexible, complex systems, processes, and applications.

The overall objective of this workshop is to facilitate the exchange between various fields of informatics regarding modeling of complex systems in general and Petri nets specifically. Therefore also contributions which address a specific topic are invited as long as they relate to Petri nets or modeling in general, including topics such as process mining, meta modeling, self-adaption, simulation models, optimization, verification, validation, etc.

• What can be learned from the wide experience of the modeling and the Petri net community?
• What are the challenges for modeling and what are those for Petri nets that need to be addressed by the related communities?
• What concepts are required to cover new kinds of social interaction (via the Internet and IoT (Internet of Things))?
• Which features of (high-level) Petri nets and other modeling techniques will survive and which new ones will evolve?
• How can Petri nets or other modeling techniques be used to directly produce executable systems?
• Which methodologies are the best for developing the upcoming systems to address the requests coming from new systems?

• The impact of Petri nets on modeling
• The impact of modeling as a discipline on Petri nets
• Mutual dependencies of modeling and Petri nets
• The role of application areas on modeling and Petri nets
• Supporting tools

The workshop PeMod'18 (Petri Nets and Modeling) will take place as a satellite event of Modellierung 2018. The language of the workshop is English.

• formal methods
• meta-modeling
• approaches
• methodologies
• modeling techniques
• methods
• theories and concepts
• representation of formal models by intuitive modeling concepts
• guidelines for the construction of system models
• 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
• model-driven architecture, model-driven development
• modeling software landscapes
• web service-based software development
• modeling paradigms and their implications
• special modeling concepts, such for mobility, distribution, embedding, flexibility
• models of social concepts, such as norms, rules, contracts, communication, co-ordination, co-operation
• adaptive, self-reflective or self-managing models
• control systems
• software architecture
• industry 4.0
• modeling notations, language, techniques (BPMN, BPEL, eEPCs, etc.)
• complementary enterprise-, data-, role-, resource-, people-, contract-, application-centric modeling notations
• process verification, validation, execution and simulation
• semi-formal and formal semantics
• inter- and intra-organizational processes
• human and social perspectives of process modeling
• technological perspectives, such as Grid, Cloud, Web services
• teaching and training of modeling
• education in school, university, governmental institutions or industry
• relations to other fields, such as software engineering, business informatics, artificial intelligence, human-computer-interaction, simulation, robotics, organizational theories, sociology, psychology
• Tools, case studies, surveys and applications in the fields mentioned above

Workshop Program for AQEMO/PeMod (February 21, 2018)

Session 1: 13:30-15:00 (Session Chair: Hans-Georg Fill)

• Keynote by Bernhard Thalheim: Model Adequacy
• Mathias Uslar and Sebastian Hanna: Model-driven Requirements Engineering Using RAMI 4.0 Based Visualizations – Light-Weight Domain Modelling
• Benjamin Meis, Robin Bergenthum: Visualizing Regions with a new Split-Screen View for the Online Tool travis

Coffee break

Session 2: 15:30-17:00 (Session Chair: Andreas Oberweis)

• Jan-Uriel Lorbeer, Julia Padberg: Hierarchical, Reconfigurable Petri Nets
• Keynote by Stefan Strecker: Evaluating conceptual models and modeling languages: The quest for sensible evaluation criteria and methodic guidance
• Heinrich C. Mayr: Round-table discussion with all participants, speakers, and organizers of AQEMO and PeMod