《表2 HIPS仿真电商冷链Petri网模型的T不变量》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《区块链中电商冷链溯源系统Petri网建模与分析》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

采用Petri网建模仿真工具HIPS分析所构建的模型进行性质和仿真验证。在Petri网仿真软件HIPS仿真工具中，使用Incidence Matrix，Structural Property和Behavioral Property三个功能，确定电商冷链Petri网系统∑1是可以正常运行的。采用HIPS仿真工具的Incidence Matrix功能模块生成∑1的输出矩阵a+、输入矩阵a-和关联矩阵a，同时求解∑1的初始标识M0状态、触发的变迁t1。根据变迁变化情况分析∑1的任一状态标识M。通过仿真验证，得到的a+、a-、a与上文中关联矩阵分析结果完全一致。利用HIPS仿真工具的Structural Property项下的T-invariant功能，可以实现对网系统∑1的t不变量进行求解结果（见表2）。对于t不变量，仿真分析给出结论：该Petri网有确定的t不变量覆盖，因此，也可以判定该Petri网模型是有界的和活的。