HiPS工具是由信州大学计算机科学与工程系开发的，它是使用Microsoft Visual C＃和C ++开发的Petri网的工具设计和分析。 HiPS工具具有直观的GUI方式，可实现分层和/或定时网络设计。 HiPS工具还具有静态/动态分析功能：T不变检测，可达性路径分析，死锁状态检测和k有界分析。 另外，可以对每个点火步骤执行随机行走模拟。
2021-08-09 23:02:15
152.25MB
1