1.
Invariant Conservation Condition for the Replacement Operation of Petri Nets
Petri网替换运算的不变量保持条件
2.
Research on Petri Nets Semantics Translation for Finite Pi Calculus
有限PI演算的Petri网语义转换研究
3.
Application of Refined Calculation Based on Petri-net with Preservation Property in of Multi-agents Cooperation
保性的Petri网细化运算在多主体协作中的应用
4.
Research on Cache Replacement and Disk Scheduling Algorithms in Network Storage;
网络存储Cache替换与磁盘调度算法研究
5.
Modeling and Analysis of Switch and WRR Scheduling Algorithm Based on Petri Net;
基于Petri网的交换机与加权循环调度算法建模与性能分析
6.
Application of property-preservation petri net operation in Agent BDI inner architecture modeling
保性的Petri网运算在主体BDI内部结构建模中的应用
7.
Switched LAN Emulation Based on Colored Petri Net
基于着色Petri网的交换式局域网仿真
8.
Dynamic buffer partitioning and replacement for reliable multicast
可靠多播网络的动态缓存分配算法与替换策略
9.
Functional Limit of its Composite Calculation and Variable Substitute Formula;
函数极限的复合运算法则与变量替换公式
10.
Transformation from UML Sequence Diagram to Petri Net Based on XML
基于XML的UML时序图向Petri网的转换
11.
Petri Net Model Transition Method Based on Ontology
基于本体的Petri网模型转换方法
12.
Finally, Utilizing Petri Net comprehensive technology amalgamate each coloured Petri Net module, and become a large-scale comprehensive Petri Net.
最后利用Petri 网综合技术将各个替代子网模块合并成为一个大型的综合Petri 网。
13.
The Research and Improvement of AQM Algorithm Based on Petri NET;
基于Petri网的AQM算法研究及改进
14.
The Research of Synchronic Distance Computation in Petri Nets;
关于Petri网中同步距离计算的探讨
15.
A Fast Algorithm to Find a Set of Elementary Siphons for a Class of Petri Nets;
一类Petri网中基本信标的快速求解算法
16.
An Alogrithm for Detecting Legal Firing Sequence of Bounded Petri Net;
有界Petri网的合法引发序列判定算法
17.
Forward Reasoning Algorithm Based on Weighted Fuzzy Petri Net;
加权模糊Petri网的正向推理算法
18.
Study on and/or Tree Algorithm Based on the Fuzzy Petri Net
基于模糊Petri网的与/或树算法研究