退出
我的积分:
中文文献批量获取
外文文献批量获取
谢富平;
浙江丽水学院计算机信息工程学院;
Petri网; 工作流; 时间计算;
机译:输入和输出约束的工作流系统建模?一种基于Petri网的方法
机译:基于扩展有色随机Petri网的协同工作流系统建模与性能分析
机译:基于分层有色Petri网的工作流系统组件
机译:走向工作流系统中的时间信息
机译:MediaWare:基于可互操作Petri网的分布式多媒体计算环境和形式主义。
机译:基于有色Petri网形式主义的多发性硬化症研究计算方法
机译:使用彩色Petri网设计工作流系统
机译:计算科学:基于petri网展开的并行LTL-X模型检验的可预测性验证
机译:基于扩展Petri网的控制目标系统建模方法及基于扩展Petri网的控制器
机译:记录时间信息提供系统和程序以使时间信息提供方式和时间信息提供方式计算机运行计算机读取可能的记录媒体
机译:基于计算机的自动工作流系统,用于发送安全报告
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。