1.替代变迁 包含有替代变迁的页面叫做父页,当CPN网使用替代变迁的时候,替代变迁所表达的逻辑必须在某一个位置得到实现,实现替代变迁逻辑页面叫做子页或者子网. 将替代变迁相邻的库所叫做槽库所,也即是在替代变迁和草库所之间至少有一条弧相连.多重实例的现象,每个子页面的实例都是完全独立的,同一子页面的其他实例标识无关. 2.颜色集 单元颜色集由简单的元素组成,标号为(): color name=unit[with new_unit] 3. LTS协议建模方面我们使用CPN Tools工具,CPN T…