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