欢迎您!
东篱公司
退出
申报数据库
申报指南
立项数据库
成果数据库
期刊论文
会议论文
著 作
专 利
项目获奖数据库
位置:
成果数据库
>
会议
> 会议详情页
Formal Properties and Analysis Method of BPEL Base on Petri net
所属机构名称:北京大学
会议名称:7th International Conference on Computer Sciences and Convergence Information Technology
时间:2012.12.3
成果类型:会议
相关项目:基于Petri网和DSM的型号产品协同设计过程和数据世系建模及分析方法研究
作者:
黄雨|
同会议论文项目
基于Petri网和DSM的型号产品协同设计过程和数据世系建模及分析方法研究
会议论文 5
同项目会议论文
A simulation modeling method based on Petri net
MTISS A Novel Mobile Transportation Information Service System
User-Driven Cloud Transportation System for Smart Driving
基于Petri网的协同设计过程模型