基于着色Petri网的联介反导作战系统建模韩朝超，黄树彩HANZhaochao,HUANGShucai空军工程大学导弹学院，陕西三原713800TheMissileInstituteoftheAirForceEngineeringUniversity,Sanyuan,Shaanxi713800,ChinaHANZhaochao,HUANGShucai.ModelingofunionATBMsystembasedoncoloredPetrinets.ComputerEngineeringandApplications,2011,47(6):235-238.Abstract:AirdefenseATBMsystemisacomplexsystem.ltischaracterizedbysynchronizatio...
短文基于Petri网的并发系统控制器设计①蒋昌俊IT张兆庆1乔如良2(1•同济大学计算机科学与工程系，上海200092;2中科院计算技术研究所国家智能机中心，北京100080;3山东科技大学计算模型与算法研究所，泰安271019)摘要：针对并发系统的死锁现彖，通过原系统Petri网模盘的状态可达图和行为规范,产生目标系统的可达图,进一步牛•成控制器的Petri网模世山此为这类问题的控制器Petri网模型的生成提供一条冇效途径关键词:Petri网；死锁...
基于Petri网的菜鸟驿站取件流程优化[摘要]取件是整个物流服务流程的最末端和直接接触消费者的环节，因此决定着消费者对于整个服务的满意程度。菜鸟驿站作为现代社区主要取件点，在其规模不断发展中衍生出了不少问题。基于此，文章利用Petri网模型这一常见的流程优化技术方法，对菜鸟驿站的整个取件流程建立模型并进行分析，指出了问题所在并提出了相应的对策。[关键词]Petri网；建模；流程优化[DOI]10.13939/j.cnki.zgsc.2018.1...
Petri网智能变电站保护控制故障诊断与定位方法研究陈军刘鑫王利平郑中叶翔任杰摘要：针对传统故障诊断由于未考虑在智能变电站保护或控制故障过程中的信息关联而导致只能进行设备物理层面或通信链路故障诊断与定位等问题，文章对反应保护或控制功能的信息集合进行梳理，分别建立包含事件报文序列和物理设备状态等因素的保护与控制功能Petri模型与能够推理出设备各子功能状态的Petri子网，并通过网络报文获知故障时各信息状态，从...
新版工作流Petri网建模在电子合同系统中的应用汇编摘要：随着互联网的发展，电子商务模式已很大程度取代传统的交易方式，电子合同的使用范围也越来越广泛。本文基于电子签章技术的电子合同系统的设计与实现，通过使用Petri网对电子合同在线签订流程进行并发模型的建模，为系统实现电子合同在线签订时保证至少有两个单位可以进行合同会签，同时保证信息传输的保密、数据交换的完整性、发送信息的不可否认性、交易者身份的确定性...
