位置：成果数据库 > 会议 > 会议详情页
Application of Logical Petri Nets in Web service composition
  • 所属机构名称：山东科技大学
  • 会议名称：2010 IEEE International Conference on Mechatronics and Automation, ICMA 2010
  • 成果类型：会议
  • 会场：Xi'an, China
  • 相关项目：逻辑Petri网理论及其合成运算性质研究
作者： Zhu, ChangYan|Du, YuYue|
同会议论文项目
逻辑Petri网理论及其合成运算性质研究
期刊论文 41 会议论文 5 获奖 4
同项目会议论文
Designing and Analysis of a New Book-Lending System Based on Logic Petri Nets
Liveness analysis of parallel program's petri net models
Performance analysis of web service composition based on stochastic well-formed workflow
Soundness verification and analysis of interorganizational logical workflow nets