1.
Analysis and Evaluation of Cryptographic Protocols Based on Timed Petri Nets;
基于时延Petri网的密码协议分析和评估
2.
Research to the Structure of Project Management Based on Timed Petri Net;
基于时延Petri网的项目管理方法
3.
Deadlock prevention approach for a class of timed Petri nets
一种时延Petri网的死锁预防方法
4.
Modeling and Analysis of Traffic Light Timing Plans Based on Timed Petri Nets
基于时延Petri网的交通信号配时方案建模与分析
5.
Modling and Time Management for Workflow Based on Timed Petri Nets
基于时延Petri网的工作流系统建模方法及其时间管理
6.
A Method of Modeling Workflow Based on Timed Petri Net in Which Places Contains a Time Factor
一种基于库所含时间因素的时延Petri网的工作流建模方法
7.
Modeling of Flight Delays Chain Reaction Based on Timed Petri Net;
基于时间Petri网的航班延误链式反应模型构建
8.
T-timed Discrete Petri Net Modeling of Bus-based Satellite Aviation System
总线型卫星电子系统T-时延离散PETRI网建模
9.
Generation of test sequences for micro-satellite based on T-timed discrete Petri nets model
基于T-时延离散Petri网的小卫星测试序列生成方法
10.
Research on the Use of Colored Timed Petri Net and Stochastic Petri Net
有色时间Petri网与随机Petri网应用研究
11.
The modeling of postponed production s supply chain based on the Petri Net;
基于Petri网的延迟制造供应链建模
12.
Application of Petri Networks on Delay Analysis of Unsignalised Intersection;
Petri网络在无控制交叉口延误分析中的应用
13.
Research on the Models of Flight Delays Chain Reaction Based on Petri Net
基于Petri网的航班延误链式反应模型研究
14.
Research on the Use of Inhibitor-Combination CTPN;
约束组合有色时间Petri网应用研究
15.
Supervisory Synthesis of DEDS Based on Temporal Petri Nets;
基于时序Petri网的DEDS控制器综合
16.
Study on the Liveness and Boundedness of Time Petri Nets;
时间Petri网的活性、有界性研究
17.
Transformation from UML Sequence Diagram to Petri Net Based on XML
基于XML的UML时序图向Petri网的转换
18.
Extended Fuzzy Timed Petri Net Definitions and Properties
扩展模糊时间Petri网的定义和性质