1.
Supervisory Synthesis of DEDS Based on Temporal Petri Nets;
基于时序Petri网的DEDS控制器综合
2.
Web Service Composition and Quality Analysis Based on Temporal Petri Net
基于时序Petri网的Web服务组合建模与质量分析
3.
Study on Model of Integration Systems of Management and Control in Power Plant Based on TPN
基于时序Petri网的火电厂管控信息系统模型研究
4.
Transformation from UML Sequence Diagram to Petri Net Based on XML
基于XML的UML时序图向Petri网的转换
5.
Research on the Use of Colored Timed Petri Net and Stochastic Petri Net
有色时间Petri网与随机Petri网应用研究
6.
Generation of test sequences for micro-satellite based on T-timed discrete Petri nets model
基于T-时延离散Petri网的小卫星测试序列生成方法
7.
Research on Constraint Programming Based Petri Net s Reachability Problem;
基于约束程序的Petri网可达问题的研究
8.
The Analysis and Evaluation of the Parallel Program Based on Petri Nets;
基于Petri网的并行程序分析与评价
9.
An Alogrithm for Detecting Legal Firing Sequence of Bounded Petri Net;
有界Petri网的合法引发序列判定算法
10.
Executive Model of Petri Net Applied in the PLC Control Program
应用于PLC控制程序的Petri网执行模型
11.
Analysis of the UML Sequence Diagram Based on Petri Net
基于Petri网的UML顺序图分析
12.
Multi-Thread Analysis about Java Program Based on Petri Net
基于Petri网的Java多线程程序分析
13.
Research on the Use of Inhibitor-Combination CTPN;
约束组合有色时间Petri网应用研究
14.
Analysis and Evaluation of Cryptographic Protocols Based on Timed Petri Nets;
基于时延Petri网的密码协议分析和评估
15.
Study on the Liveness and Boundedness of Time Petri Nets;
时间Petri网的活性、有界性研究
16.
Research to the Structure of Project Management Based on Timed Petri Net;
基于时延Petri网的项目管理方法
17.
Extended Fuzzy Timed Petri Net Definitions and Properties
扩展模糊时间Petri网的定义和性质
18.
Deadlock prevention approach for a class of timed Petri nets
一种时延Petri网的死锁预防方法