Modularization, Composition, and Hierarchization of Petri Nets with Heraklit
Software Engineering
2022-02-07 v1
Abstract
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.
Cite
@article{arxiv.2202.01830,
title = {Modularization, Composition, and Hierarchization of Petri Nets with Heraklit},
author = {Peter Fettke and Wolfgang Reisig},
journal= {arXiv preprint arXiv:2202.01830},
year = {2022}
}
Comments
19 pages, 19 figures, submitted to PETRI NETS 2022