《表3 HIPS仿真结果:区块链中电商冷链溯源系统Petri网建模与分析》
利用HIPS仿真工具的Behavioral Property功能对Petri网系统∑1的死锁、有界性、可达性、可逆性和活性进行仿真分析的结果(见表3)。
图表编号 | XD00122070100 严禁用于非法目的 |
---|---|
绘制时间 | 2020.01.25 |
作者 | 张诚、刘守臣 |
绘制单位 | 华东交通大学交通运输与物流学院 |
更多格式 | 高清、无水印(增值服务) |
利用HIPS仿真工具的Behavioral Property功能对Petri网系统∑1的死锁、有界性、可达性、可逆性和活性进行仿真分析的结果(见表3)。
图表编号 | XD00122070100 严禁用于非法目的 |
---|---|
绘制时间 | 2020.01.25 |
作者 | 张诚、刘守臣 |
绘制单位 | 华东交通大学交通运输与物流学院 |
更多格式 | 高清、无水印(增值服务) |