1.
Reversibility Preservation in Synchronous Synthesis of Petri Net Systems
同步合成Petri网系统可回复性的保持性
2.
Finally, Utilizing Petri Net comprehensive technology amalgamate each coloured Petri Net module, and become a large-scale comprehensive Petri Net.
最后利用Petri 网综合技术将各个替代子网模块合并成为一个大型的综合Petri 网。
3.
Modeling via Petri net for IHE integration profile
IHE集成模式的Petri网建模
4.
Dynamic task allocation model of protocol nets based on Petri nets
基于Petri网的合同网任务动态分配模型
5.
Management and Coordination Based Petri Net Integrated Monitoring System;
集成化监控系统的Petri网管理与协调
6.
Study of Web Service Workflow Based on Petri Net;
基于Petri网的Web服务集成工作流的研究
7.
Research on Business Process Integration Based on Petri Net
基于Petri网的企业业务流程集成的研究
8.
Automatic generation of fuzzy Petri nets
模糊Petri网自动生成方法研究
9.
Test Case Produced Automatically Based on Colored Petri Network
基于着色Petri网测试用例的自动生成
10.
Discovering invariants for Petri nets with DISCOVERER
基于DISCOVERER的Petri网不变式自动生成
11.
Minimum Cost Reachability Problem of Price Coloured Petri Net
价格着色Petri网的最小成本可达问题
12.
On Automatic Semantic Web Services Composition with Petri Nets;
语义Web服务自动组合的Petri网方法研究
13.
Synthesis of Petri nets Controller for Discrete Event Systems;
离散事件系统的Petri网控制器综合
14.
Model of Web Service Composition Based on Petri Net;
基于Petri网的Web服务组合建模
15.
Research on the Use of Inhibitor-Combination CTPN;
约束组合有色时间Petri网应用研究
16.
Application of Fuzzy Petri Nets in Polymer Flooding Comprehensive Adjustment System;
模糊Petri网在聚驱综合调整中的应用
17.
Supervisory Synthesis of DEDS Based on Temporal Petri Nets;
基于时序Petri网的DEDS控制器综合
18.
Verification and Reduction of Web Service Composition Based on Petri-Net;
基于Petri网的Web服务组合验证与化简