【英语版】国际标准 ISO/IEC 15909-1:2004/AMD 1:2010 EN 系统与软件工程 高级 Petri 网 第1部分：概念、定义和图形符号 第 1 修正案：对称网 Systems and software engineering — High-level Petri nets — Part 1: Concepts, definitions and graphical notation — Amendment 1: Symmetric Nets.pdf

ISO/IEC15909-1:2004/Amd1:2010ENSystemsandsoftwareengineering—High-levelPetrinets—Part1:Concepts,definitionsandgraphicalnotation—Amendment1:SymmetricNets是国际标准化组织（ISO）和国际电工委员会（IEC）在系统与软件工程领域制定的一个标准，专门用于描述高层次Petri网的概念、定义和图形表示。这个标准分为几个部分，其中一部分是关于对称网（SymmetricNets）的。

对称网是一种特殊的Petri网，它具有以下特点：

*网中的变迁具有对称性，即从一个状态到另一个状态可以通过两种不同的路径，这两种路径具有相同的概率。

*网中的转移具有对称性，即从一个位置到另一个位置可以通过两种不同的路径，这两种路径的概率是相等的。

这个标准提供了对对称网的概念、定义和图形表示的详细解释，包括它们的结构、性质、应用场景等。这个标准对于系统与软件工程领域的研究人员和工程师来说是非常有用的，因为它提供了一种可视化建模和分析系统的方法，可以帮助他们更好地理解和设计复杂的系统。

需要注意的是，虽然这个标准提供了一些基本的描述和示例，但它并不适用于所有的系统和软件项目。具体的应用和实现还需要根据实际情况进行调整和修改。由于这个标准是一个不断发展和完善的标准，可能会有新的修订和更新。因此，在实际应用中需要参考最新的版本和相关文献。