6 papers · 1 filter
From Trust-by-Design to Continuous Trust in the Era of Artificial Intelligence
Peter Fettke, Wolfgang Reisig
Trust is crucial in the digital world, particularly in the age of systems based on artificial intelligence. Traditionally, system correctness is demonstrated by proving that the sy…
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…
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…