论文标题
培养皿网与Heraklit的模块化，组成和分层
Modularization, Composition, and Hierarchization of Petri Nets with Heraklit
论文作者
论文摘要
几十年来，没有模块化和分解概念就无法理解基于计算机的系统。我们建议使用Petri Nets的通用，表现力，直觉上有吸引力的组成操作员，并结合细节及其组成的改进概念和代数表示。案例研究表明，可以从微小的净片段中组成大型系统。将来，需要更多的现场研究来更好地了解现实世界中提出的思想的后果。
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.
