超级会员免费看
分层有色Petri网的形式化定义
1. 模块的定义
分层有色Petri网（Hierarchical Coloured Petri Nets）模型的每个模块都构成一个非分层的有色Petri网模型。具体来说，一个模块包含以下几个部分：
- 有限的库所集合 (P)
- 有限的变迁集合 (T)
- 有向弧集合 (A)
- 有限的非空颜色集集合 (\Sigma)
- 有限的类型化变量集合 (V)
- 颜色集函数 (C)
- 保护函数 (G)
- 弧表达式函数 (E)
- 初始化函数 (I)
这意味着每个模块可以有其局部的颜色集定义和类型化变量声明。在CPN Tools中，有一个全局的公共颜色集和变量集合，供所有模块共享，这相当于所有模块具有相同的颜色集和变量集合。不过，形式化定义也考虑了模块具有局部颜色集和变量的可能性。
每个模块还可能有一个空集或非空的替换变迁集合 (T_{sub} \subseteq T)。例如，在图6.1的协议模块中，(T_{sub} = {Sender, Network, Receiver})。在本章所考虑的示例CPN模型中，一个模块中的变迁要么全部是替换变迁，要么都不是。但一般来说，一个模块可以同时包含普通（非替换）变迁和替换变迁。
替换变迁虽然是模块中变迁的子集，有保护条件，连接到替换变迁的弧也有弧表达式，但由于替换变迁不能被启用和发生，这些标记对模型的行为没有影响，并且会被CPN Tools自动删除。不过，将替换变迁定义为模块中变迁的子集可以简化形式化定义。
对于替换变迁 (t)，其输入套接字库所 (P_{in}^{sock}(t)
订阅专栏 解锁全文
扫一扫
75
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
