基于 Heraklit 的 Petri 网的模块化、组合与层次化
软件工程
2022-02-07 v1
摘要
数十年来已知，基于计算机的系统若无模块化与分解概念便无法被理解。我们提出一种通用、富有表达力且直观吸引人的 Petri 网组合算子，结合精化概念以及网及其组合的代数表示。案例研究示例性地展示了大型系统如何由微小网片段组合而成。未来需更多实地研究，以更好理解所提思想在现实世界中的影响。
引用
@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}
}
备注
19 pages, 19 figures, submitted to PETRI NETS 2022