The goal of this paper is to overview the historical development of the field of Petri nets
(PNs) from a Systems Theory and Automatic Control perspective. It is intentionally not meant …

In the last 15 years, several research efforts have been directed towards the representation
and the analysis of metabolic pathways by using Petri nets. The goal of this paper is twofold …

Petri Nets–An Introduction [63] is a slim book that was published almost 30 years ago and
was quickly translated into six languages and sold several thousand copies. For a long time …

Component-based approaches to program synthesis assemble programs from a database
of existing components, such as methods provided by an API. In this paper, we present a …

Engineering of process-driven business applications can be supported by process modeling
efforts in order to bridge the gap between business requirements and system specifications …

This article studies the problem of transforming a process model with an arbitrary topology
into an equivalent well-structured process model. While this problem has received …

As a result of the growing adoption of Business Process Management (BPM) technology,
different stakeholders need to understand and agree upon the process models that are used …

We present a new approach for stateless model checking (SMC) of multithreaded programs
under Sequential Consistency (SC) semantics. To combat state-space explosion, SMC is …

Petrinetze haben sich als Modellierungstechnik für informatikbasierte Systeme durchgesetzt.
Ihre anschauliche grafische Darstellung, kombiniert mit ausdrucksstarken Analysetechniken …

Partial order reduction (POR) and net unfoldings are two alternative methods to tackle state-
space explosion caused by concurrency. In this paper, we propose the combination of both …