3 papers
cs.SE2026
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…
cs.LO2026
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…
cs.SE2025
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…