基于CPN Tools的网上购物系统建模及合理性分析

提出了一种对网上购物系统建立模型的基于着色Petri网的方法.该方法运用了CPNTools分层的特性及替代变迁,克服了建立的CPN模型大而复杂的不足.最后为了确保模型的正常运行,利用CPN Tools提供的状态空间工具来验证订单处理的CPN模型的合理性.

基于CPN的物流配送系统模型正确性的证明

利用分层有色Petri网建立物流配送模型,一方面减少了建立模型的复杂性,另一方面为模型正确性的证明提供了数据支持。对所建模型进行仿真获得的数据,可以从四个方面确保模型的正确性。使用分层有色Petri网进行层次化设计不仅可以增加模型的直观性而且降低了模型的复杂性,在确保模型正确性的同时也为物流仿真软件体系结构的模块化建立了良好的基础。

基于CPNTool的换挡过程建模与分析

针对换挡本身特性,提出一种利用着色Petri网对换挡过程进行建模的方法。首先,利用聚类分析对单个时窗内的车辆运行参数进行聚类,依据一定时间段内车辆运动状态的转移对下一时刻车辆的运动状态进行估计,将车速信息和状态估计值作为车辆换挡决策的判定条件,利用具有鲜明层次化特性和替代变迁良好交互特性的CPNTool对换挡过程流进行建模仿真,依据交通环境和车辆状态信息设定每个状态迁移的时间延迟,通过分析几种可能的换挡过程所产生的时间延迟给出最佳的换挡次序;最后,采集道路实车试验数据对换挡模型进行有效性验证。测试结果表明,该建模方法能够以图形化方式充分展现出换挡过程中驾驶员操作流程的变迁,此外,该模型能够有效估计出每个驾驶员换挡过程所需的时间,对驾驶员的换挡急缓程度作出评价。

基于层次颜色Petri网的仓储作业系统建模与仿真

在HCPN(Hierarchical Colored Petri Net)理论研究与应用分析工作基础上,结合某供应链企业的仓储作业系统,采用出库优先的调度策略,分层构建该系统的全局HCPN模型。利用CPN(Colored Petri Net)Tools对系统模型各子CPN系统进行图形化描述、协同运行仿真和分析,运用状态空间工具分析了系统模型的有界性、家性、活性和公平性等性质,验证了系统HCPN模型的正确性、可靠性和健壮性。HCPN在仓储作业系统建模仿真中的应用,为大规模复杂系统建模提供了一种新思路、新方法,具有重要的理论价值和实践意义。

层次颜色Petri网在Web信息系统建模中的应用

层次颜色Petri网是一类具有模型描述语言Standard ML、分层功能和图形化描述特性的高级Petri网,拥有仿真工具CPN Tools,是信息系统建模的有效工具,可方便描述信息系统中的控制流、数据流,全面刻画系统业务流程。在给出HCPN一种形式定义基础上,结合智慧校园中的校园一卡通Web信息系统,利用CPN Tools分层构建了该系统的HCPN模型,并对各子CPN系统进行图形化描述、协同运行仿真和分析,运用状态空间工具分析和验证了系统HCPN模型的正确性、可靠性和健壮性。