针对形式化建模方法在进行网络协议分析时遇到建立模型过程复杂、状态空间庞大等问题,提出在Pe-tri网的基础上,引入融合库所建立一......

层次颜色Petri网是一类具有模型描述语言Standard ML、分层功能和图形化描述特性的高级Petri网,拥有仿真工具CPN Tools,是信息系统......

在HCPN(Hierarchical Colored Petri Net)理论研究与应用分析工作基础上,结合某供应链企业的仓储作业系统,采用出库优先的调度策略......