2022/02/03 by Peter Fettke, Fettke, Peter, Wolfgang Reisig +1
Business, Management and Accounting · Computer Science · #Business Process Modeling and Analysis #Distributed systems and fault tolerance #FOS: Computer and information sciences #Petri Nets in System Modeling #Software Engineering (cs.SE)
paper · pdf · doi:10.48550/arxiv.2202.01830
openalex publication_date 2022/02/03 · openalex created_date 2022/04/03 · openalex updated_date 2026/07/28
It is known for decades that computer-based systems cannot be understood without a concept of modularization and decomposition. We suggest a universal, expressive, intuitively attractive composition operator for Petri nets, combined with a refinement concept and an algebraic representation of nets and their composition. Case studies show exemplarily, how large systems can be composed from tiny net snippets. In the future, more field studies are needed to better understand the consequences of the proposed ideas in the real world.