用Heraklit实现Petri网的模块化、组合和层次化
Modularization, Composition, and Hierarchization of Petri Nets with Heraklit
摘要：
几十年来，人们都知道，如果没有模块化和分解的概念，就无法理解基于计算机的系统。我们提出了一个普遍的，富有表现力的，直观的吸引力的组合操作的Petri网，结合细化的概念和代数表示的网及其组成。案例研究表明，大型系统可以由微小的网络片段组成。在未来，需要更多的实地研究，以更好地了解所提出的想法在现实世界中的后果。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
