1.
The Research of Web Service Application Approach Based on Colored Petri Nets
基于有色Petri网的Web服务应用方法研究
2.
Modeling and Analysis of SCTP Association Management Using Colored Petri Net
SCTP关联管理的有色Petri网建模与分析
3.
Research on the FMS Production System based on Colored Petri Net
基于有色Petri网的FMS生产系统的研究
4.
Application of Colored Petri Net in Penetration Test
有色Petri网在渗透测试中的应用
5.
The Application of Colored Petri-Net Models in Power System Network Topology;
有色Petri网模型在电力网拓扑分析中的应用
6.
Research on Modeling for Contract Net Protocol Based on Object-Oriented Colored Petri Net;
基于面向对象有色Petri网的合同网协议建模研究
7.
Workflow Modeling Based on Colored Petri Net and the Convertion to XPDL;
基于有色Petri网的工作流建模及向XPDL的转换
8.
Research on Formal Modeling of Message Passing Based on Coloured Petri Nets;
基于有色Petri网理论的消息通信形式化建模研究
9.
Modeling of Colored Petri Net Based on UML and Its Application in CTCS-3
基于UML的有色Petri网建模及其在CTCS-3中的应用
10.
Decision Structure Analysis Based on Colored Petri Nets in Warship C~4ISR System
基于有色Petri网的舰艇C~4ISR系统决策结构分析
11.
Application of Colored Petri Nets to Modeling of Vehicle of Vetronics Integration System Bus
有色Petri网在车辆综电系统总线建模中的应用
12.
A Modeling Method for Auto-body Control System Based on Colored Petri Net
基于有色Petri网的车身控制系统建模方法
13.
Analysis of Fairness in Payment Protocols Based on Hierarchical Timed Coloured Petri Nets
基于分层时间有色Petri网的支付协议公平性分析
14.
Web services composition model based on colored Petri net and classified services
基于有色Petri网和分类服务的Web服务组合模型
15.
Colored Petri Net Based Modeling of Parallel Automatic Test Systems;
基于有色Petri网理论的并行自动测试系统建模研究
16.
Coloured Petri Net Based Modeling of Zone Controller Subsystem Handover Function;
基于有色Petri网的区域控制器子系统切换功能建模
17.
Modeling and Analysis of Application Software of on Board Device in CBTC with Colored Petri Nets;
基于有色Petri网的CBTC车载设备应用软件的建模与分析
18.
The Formalized Modeling and Model Analyzing of the Interlocking Software Based on Interval Timed Colored Petri Nets;
基于时间有色Petri网的联锁软件的形式化建模与分析