6 papers
Trust by design -- in praise of modularization: a case study
Peter Fettke, Wolfgang Reisig
Ensuring that collective adaptive systems remain safe, reliable, and trustworthy requires measures that transcend so far established formal methods, and in particular established v…
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…
XABPs: Towards eXplainable Autonomous Business Processes
Peter Fettke, Fabiana Fournier, Lior Limonad +3
Autonomous business processes (ABPs), i.e., self-executing workflows leveraging AI/ML, have the potential to improve operational efficiency, reduce errors, lower costs, improve res…
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…