=Paper=
{{Paper
|id=Vol-2060/preface-pemod
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-2060/preface-pemod.pdf
|volume=Vol-2060
}}
==None==
https://ceur-ws.org/Vol-2060/preface-pemod.pdf
Workshop on Petri Nets and Modeling 2018 (PeMod’2018)
In the context of Modellierung 2018 the PeMod’2018 (Petri Nets and Modeling 2018)
workshop addressed trends in modeling, specifically for describing and analyzing com-
plex and flexible systems, processes, and applications. Various fields in informatics de-
veloped proven solutions for modeling systems with these characteristics, though not nec-
essarily in an integrated way. Petri nets on the other hand provide concepts for several of
these characteristics.
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 specifi-
cally, also in the context of more specific topics such as process mining, meta-modeling,
self-adaption, simulation models, optimization, verification, validation, etc.
The two submitted and accepted papers are included within these proceedings:
- Hierarchical, Reconfigurable Petri Nets by Julia Padberg and Jan-Uriel Lorbeer
- Visualizing Regions with a new Split-Screen View for the Online Tool travis by
Benjamin Meis and Robin Bergenthum
While Petri nets usually have a static system structure the paper of Padberg and Lorbeer
propose a dynamic structural adaptation. Adaptation becomes possible by their introduced
replacement of transitions by subnets, which are reconfigurable with a local set of rules,
being embedded in a set of global rules. Teaching the mutual dependencies of behavioral
and synthesized models is addressed by Meis and Bergenthum. The theory of regions is
applied to synthesize a k-bounded Petri net model from a reachability graph and the other
way around. Doing so they provide a tool that allows the concurrent visualization of states
and markings in both models and their dependencies.
Discussions, invited talks and a panel discussion were commonly performed with the
joined workshop AQEMO’2018 (2nd International Workshop on the Adequacy of Mod-
eling Methods). The keynote by Bernhard Thalheim addressed foundations and future re-
search challenges of model adequacy based on the the Kiel compendium of models, mod-
eling activities and systematic modeling. Stefan Strecker’s keynote related concepts of
model evaluation and model quality cross-disciplinarily to linguistics, philosophy of lan-
guage, and fundamental considerations in other branches of philosophy. The research talk
by Mathias Uslar and Sebastian Hanna on a three-dimensional visualization approach for
the RAMI 4.0 reference model for Industry 4.0 architectures for reducing efforts in re-
quirements engineering of complex technical solutions complemented the talks of
PeMod’2018. The joined workshops were concluded by a panel discussion on challenges
and future research questions in the context of model adequacy led by Heinrich C. Mayr.
We thank the reviewers for providing helpful and detailed feedback. We also thank the
organisation team of Modellierung 2018 for their support.
Braunschweig, February 2018
Dirk Fahland Eindhoven University of Technology, Netherlands
Michael Köhler-Bußmeier University of Applied Science Hamburg, Germany
Daniel Moldt University of Hamburg, Germany
Program Committee
Robin Bergenthum University of Hagen, Germany
Peter Buchholz Germany
Didier Buchs Switzerland
Lawrence Cabac University of Hamburg, Germany
Christine Choppy France
Piotr Chrzastowski-Wachtel Poland
Amal El Fallah Seghrouchni LIP6 - University of Pierre and Marie Curie, France
Dirk Fahland Eindhoven University, Netherlands (Co-Chair)
Joel Greenyer Leibniz Universität Hannover, Germany
Nicolas Guelfi University of Luxembourg
Stefan Haar ENS Cachan, France
Serge Haddad ENS Cachan, France
Monika Heiner Germany
Vincent Hilaire France
Ekkart Kindler Technical University of Denmark, Denmark
Michael Köhler-Bußmeier University of Applied Science Hamburg, Germany
(CoChair)
Maciej Koutny University of Newcastle, United Kingdom
Lars Kristensen Bergen University College, Norway
Robert Lorenz University of Augsburg, Germany
Daniel Moldt University of Hamburg, Germany (Co-Chair)
Berndt Müller University of South Wales, United Kingdom
Wojciech Penczek University of Podlasie, Poland
Laure Petrucci France
Luise Pufahl University of Potsdam, Germany
Ulrike Steffens University of Applied Science Hamburg, Germany
Ulrich Ultes-Nitsche Switzerland
Eric Verbeek Eindhoven University of Technology, Netherlands
Karsten Wolf University of Rostock, Germany
Christian Zirpins Germany