位置：成果数据库 > 期刊 > 期刊详情页
Fully Expanded Tree for Property Analysis of One-Place-Unbounded Petri Nets
  • ISSN号：2168-2216
  • 期刊名称：IEEE Transactions on Systems Man Cybernetics-Syste
  • 时间：0
  • 页码：-
  • 相关项目：大规模定制服务系统的Petri网语义模型与关键技术研究
作者： Meiqin Pan|Ru Yang|Changjun Jiang|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服务自动组合
移动环境下避免服务切换的服务选择算法
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网弱公平性和公平性关系的进一步研究
A Configurable State Class Method for Temporal Analysis of Time Petri Nets
Modeling and Validating E-Commerce Business Process Based on Petri Nets
Property analysis of logic Petri nets by marking reachability graphs