针对运用解析法对战车电子系统总线进行建模和分析困难这一问题,运用CPN Tools工具构建了基于有色Petri网的综合电子系统总线模型,......

在分析车辆装备保障业务过程相关概念的基础上,提出了车辆装备保障业务过程建模的原则,并且基于有色Petri网(CPN)理论,提出了车辆......

提出了一种适用于带有时间戳的安全协议的有GPetri（CPN）形式化分析方法，利用一个非自动时钟来描述协议中涉及的时间因素。对著名的WMF......

卫星信息系统在军事上的广泛应用使其成为现代战争中不可或缺的组成部分,作战部队对它的依赖程度越来越高,对卫星系统的对抗也随之......

近年来随着“大机组、高电压、大电网”发供电模式的弊端日益显露, 分散式供电系统成为21世纪电力工业的发展方向.此外, 随着风力......

电子支付协议是一种重要的电子商务协议,公平性是其重要的安全属性之一。该文提出一种基于分层时间有色Petri网(HTCPN)的电子支付......

针对微电网发生被动式孤网事件后,进行并网模式转换为孤网模式的过程中的网架重构控制方法研究。利用有色Petri网的方法,结合Multi......

随着业务要求的不断增加,Web服务组合变得日益复杂,服务组合出错的可能性也不断增加,这就需要对Web服务组合流程进行分析和验证,以......

随着计算机和通信技术的发展,基于通信的列车运行控制(CommunicationBased Train Control,CBTC)系统是今后轨道交通列车运行控制系......