位置：成果数据库 > 期刊 > 期刊详情页
A Configurable State Class Method for Temporal Analysis of Time Petri Nets
  • ISSN号：2168-2216
  • 期刊名称：IEEE Transactions on Systems Man Cybernetics-Syste
  • 时间：2014.4
  • 页码：482-493
  • 相关项目：大规模定制服务系统的Petri网语义模型与关键技术研究
作者： Li Pan|Zhijun Ding|Mengchu Zhou|
同期刊论文项目
大规模定制服务系统的Petri网语义模型与关键技术研究
期刊论文 27 会议论文 15 获奖 2
同项目期刊论文
Transactional and QoS-aware selection algorithm for reliable Web service composition
Dynamic Slicing of Petri Nets Based on Structural Dependency Graph and its Application in System Ana
Constraint-Aware Approach to Web Service Composition
Design and Implementation of a Web-Service-Based Public-Oriented Personalized Health Care Platform
An executable service composition code automatic creation tool based on petri net model
双向Web服务自动组合
Fully Expanded Tree for Property Analysis of One-Place-Unbounded Petri Nets
Automatic Web Service Composition Based on Uncertainty Execution Effects
Liveness Analysis of ω-independent Petri Nets Based on New Modified Reachability Trees
Performance Evaluation of Transactional Composite Web Services
A genetic algorithm based approach to transactional and QoS-aware service selection
A Transaction and QoS-aware Service Selection Approach based on Genetic Algorithm
Reachability Analysis of Logic Petri Nets Using Incidence Matrix
Petri网弱公平性和公平性关系的进一步研究
Modeling and Validating E-Commerce Business Process Based on Petri Nets
Property analysis of logic Petri nets by marking reachability graphs
移动环境下避免服务切换的服务选择算法