1.
The Analysis of Security Protocols Based on Colored Petri Nets;
基于颜色Petri网的安全协议分析
2.
Hierarchical Colored Petri Net Description Model for Web Service Composition
Web服务组合的层次颜色Petri网描述模型
3.
Research on Model for Web Service Composition Based on Extended Colored Petri Net;
基于扩展颜色Petri网的Web服务组合建模研究
4.
Verification Mechanism for Web Service Composition Based on Extended Colored Petri Net
一种基于扩展颜色Petri网的Web服务组合验证机制
5.
ECPN-based Auction Protocol Modeling and Analysis
基于扩展颜色Petri网的拍卖协议建模与分析
6.
Research on Modeling Method of Workflow Based on Object-Oriented Coloured Petri Nets;
基于面向对象颜色Petri网的工作流建模方法的研究
7.
Modeling and Application of Hierarchical Colored Workflow Net
层次颜色工作流Petri网建模与应用
8.
Research on the Use of Colored Timed Petri Net and Stochastic Petri Net
有色时间Petri网与随机Petri网应用研究
9.
Switched LAN Emulation Based on Colored Petri Net
基于着色Petri网的交换式局域网仿真
10.
Application Research in Case-Based Reasoning Based on Colored Petri Nets Model;
基于着色Petri网模型的案例推理研究
11.
Research on the Use of Inhibitor-Combination CTPN;
约束组合有色时间Petri网应用研究
12.
Modeling and Analysis of WAP Transaction Layer Protocol Using Colored Petri Net;
WAP事务层协议的有色PETRI网建模与分析
13.
Logistics System Modeling Based on Four-color Petri Net;
基于四色Petri网的物流系统建模
14.
Vertification of OSPF Protocol Based on Coloured Petri Net;
基于着色Petri网模型的OSPF协议验证
15.
The Research on Logistics System Modeling by Colored Petri Nets;
物流系统着色Petri网模型研究
16.
Modern Logistics Modeling based on Four Colors Petri Net;
基于四色Petri网的现代物流建模
17.
The Research of Web Service Application Approach Based on Colored Petri Nets
基于有色Petri网的Web服务应用方法研究
18.
Modeling and Analysis of SCTP Association Management Using Colored Petri Net
SCTP关联管理的有色Petri网建模与分析