4 papers
Compositionality of Systems and Partially Ordered Runs
Peter Fettke, Wolfgang Reisig
In the late 1970s, C.A. Petri introduced partially ordered event occurrences (runs), then called \emph{processes}, as the appropriate model to describe the individual evolutions of…
Towards a fundamental theory of modeling discrete systems
Peter Fettke, Wolfgang Reisig
Modeling is a central concern in both science and engineering. However, we need a new fundamental theory to address the challenges of the digital age. In this paper, we first expla…
Essentials of Petri nets
Wolfgang Reisig, Peter Fettke
This contribution highlights some concepts and aspects of Petri nets that are frequently neglected, but that the authors consider important or interesting, or that Carl Adam Petri…
Once and for all: how to compose modules -- The composition calculus
Peter Fettke, Wolfgang Reisig
Computability theory is traditionally conceived as the theoretical basis of informatics. Nevertheless, numerous proposals transcend computability theory, in particular by emphasizi…