Petri nets; Temporal logic; Collaborative business process; Big data; Virtual factory;
机译:行为反模式规范,用于验证区块结构的协作业务流程
机译:使用扩展Petri网的跨部门协作业务流程的建模和验证
机译:基于代理的协作业务过程建模和验证:以交互和行为为中心的方法
机译:合作业务流程核查方法的比较评估
机译:协作供应链中的文章:信息共享,事件管理和过程验证。
机译:心理结构和分级大脑处理评论 W. Tecumseh Fitch撰写的建立认知生物学的计算框架:统一认知神经科学和比较认知的方法
机译:协同业务流程验证方法的比较评估
机译:协同优化的比较性质及其他mDO方法