位置：成果数据库 > 期刊 > 期刊详情页
An approach for synthesis Petri nets for modeling and verifying composite web service
  • ISSN号：1016-2364
  • 期刊名称：Journal of Information Science and Engineering
  • 时间：0
  • 页码：1309-1328
  • 语言：英文
  • 相关项目：面向可信管理的软件病态模型、机理及理论研究
作者： ZHI-JUN DING|JUN-LI WANG|CHANG-JUN JIANG|
同期刊论文项目
面向可信管理的软件病态模型、机理及理论研究
期刊论文 22 会议论文 3 获奖 1
同项目期刊论文
可重写Petri网:位置可重写及性质分析
一种基于不变量结构分解的工作流性能分析方法
Petri网极小虹吸的计算方法与性能分析
一种基于领域本体的最优Web服务组合方法
Two Simple Deadlock Prevention Policies for (SPR)-P-3 Based on Key- ResourceOperation-Place Pairs
基于云计算Live Mesh的流媒体应用研究
Behavior-aware Trustworthiness Study of Networked Software
基于离散微粒群算法的动态Web服务选择
工作流网系统合理性的语言特性研究
Two types of extended RSNBs and their application in modeling flexible manufacturing systems
On conditions for the liveness of weakly persistent nets
随机QoS感知的可靠Web服务组合
工作流模型验证及分解的多项式算法分析
基于Petri网的协同工作流建模与分析
基于逻辑Petri网的图书馆借阅系统的建模与分析
基于程序Petri网的新型软件开发方法研究
Deadlock checking for one-place unbounded Petri nets based on modified reachability trees
A Biometric-Based User Authentication for Wireless Sensor Networks
分簇的扩展超宽带传感网生存期的下界