Cpn到单位 swMATH ID: 26447 软件作者： D.K.赫洛莫兹达 描述： CpnToUnit实用程序仅使用单位标记将通用有色Petri网转换为有色Petri网络，有效地使其成为具有不可区分标记的简单Petri网。它允许我们将不变量方法应用于它们的分析，该方法使用截短解集查找算法来求解通过线性齐次丢番图方程组表示的Petri网状态方程。为了运行程序，必须提供两个文件作为参数：第一个文件包含cpn Tools使用的.cpn格式的原始有色Petri网(http://cpntools.org/)，第二个用于保存转换后的有色Petri网（如果不存在，将创建该网）： 主页： https://github.com/Gyrotank/CpnUnitTransformer网站 源代码： https://github.com/Gyrotank/CpnUnitTransformer网站 相关软件： CPN/工具;洛拉;FSM公司;github;正式舞会 引用于： 1文件 3位作者引用 1 Glybovets'，Mykola M。 1 赫洛莫兹达，D.K。 1 O.M.马克西米茨。 连载1篇 1 控制论与系统分析 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文