文档介绍：第 30 卷第 1 期电子科技大学学报
2001 年 2 月 Journal 成了 GHLSPN[2,3] 在 HLSPN 中
标识具有颜色可以用向量加以描述在网图中弧上可表注标识变量原子标记变量可用两元
变量来表示第一个变量表示其类型第二个变量为其标志变量标志变量一般为旋转变量(如模
变量) 置换变量(如集合置换)和标志函数变量引入了标记变量就可以扩充相等标记的定义提
出等价标记变量的概念关于在一个标识下等价动作之间的关系或者满足等价动作的必要条件
有如下定理
2000年9月8日收稿
� * 国防科工委预研基金资助项目
** 女 27岁硕士讲师14 电子科技大学学报第 30 卷
定理 1 如果 u¢x = (ti ,s i¢ ) 和 u¢y = (t j ,s ¢j ) 在 M¢ 下是等价的则同类标识变量在所有位置中有
相同分布即ti = t j 对于任何一个ti 相关联的弧标变量 z 的替换 s i¢(z) 和 s ¢j (z) 都是相同类型的
标识
由于 GHLSPN 的稳定状态概率分布的复杂性主要与实存状态空间的规模有关[4] 并且引入等
价标记变量概念所以在构造 GHLSPN 的可达树时其规模可直接简化
2 GHLSPN 的网络传输层协议模型与性能分析
建立连接和释放连接阶段的 Petri 网模型已有描述而关于传输控制机制例如确认控制窗
口流控制和错误重传控制的 Petri 网模型却不多见这些机制对网络系统的性能影响较大其
GHLSPN 模型如图1所示该模型包括发送端和接收端两个部分位置 G 和 H 的左边是发送端的
模型右边是接收端的模型分组数据接收后的处理部分在该模型中省略发送端窗口的大小由
W 表示接收端的窗口为 l
T7
A …
请求 J