Petri网和流动事物的机器
Petri Nets and Machines of Things That Flow
摘要：
Petri网是一种用于建模和分析系统行为的成熟的图形形式主义。Petri网的价值的一个重要考虑因素是它们在描述建模形式主义的语法和语义方面的使用。用形式化技术（如Petri网）描述建模符号提供了一种最小化模糊性的方法。因此，必须对Petri网有深入而多样的理解。本文是针对一个新的，但初步的，探索这样一个重要的工具的语义。具体来说，本文关注的是与Petri网的语义解释的建模语言的基础上的概念，机器的东西流。从事物流的角度分析了几种Petri网图的语义。结果表明，该方法用于探索Petri网的基本假设是可行的。
英文摘要：
Petri nets are an established graphical formalism for modeling and analyzing the behavior of systems. An important consideration of the value of Petri nets is their use in describing both the syntax and semantics of modeling formalisms. Describing a modeling notation in terms of a formal technique such as Petri nets provides a way to minimize ambiguity. Accordingly, it is imperative to develop a deep and diverse understanding of Petri nets. This paper is directed toward a new, but preliminary, exploration of the semantics of such an important tool. Specifically, the concern in this paper is with the semantics of Petri nets interpreted in a modeling language based on the notion of machines of things that flow. The semantics of several Petri net diagrams are analyzed in terms of flow of things. The results point to the viability of the approach for exploring the underlying assumptions of Petri nets.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
