退出
我的积分:
中文文献批量获取
外文文献批量获取
姚淑珍; 张亮;
中国计算机学会;
企业过程建模; Petri网; BPEL代码; 形式化模型; 模型转化; 组件集;
机译:一种基于分层Petri网的方法,用于验证互联BPEL过程
机译:BPEL过程的建模和性能评估:一种基于随机Petri网的方法
机译:用选择结构修复基于Petri网的过程模型的方法
机译:通过Petri网构建油脂企业接收和储存油料种子的过程模型。
机译:小型商业企业中基于系统工程开发的集成过程模型。
机译:使用基于Web的过程模型来实现安全性和数据保护将其作为临床信息管理的组成部分。
机译:基于BPEL和Petri网的Web服务组合的比较研究
机译:在Ws-BpEL中实现工作流重新配置
机译:将BPEL4WS过程转换为有色Petri网的方法和装置
机译:BPEL4WS过程转换为彩色Petri网的方法和装置
机译:基于扩展Petri网的控制目标系统建模方法及基于扩展Petri网的控制器
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。