cross domain solutions; formal methods; modeling; process engineering;
机译:基于逻辑工作流网的传感器网络形式化互操作模型
机译:基于逻辑工作流网的传感器网络的正式互操作性模型
机译:BPRN:基于Petri-Net和工作流模型扩展的业务流程中资源消耗的正式模型
机译:基于StateChart的正式建模工作流程
机译:多主体工作流模型(MAWM):专为中国业务流程设计的工作流模型。
机译:学龄儿童和年轻成人中基于事件的前瞻性记忆的认知过程:正式的基于模型的研究
机译:BPRN:基于Petri-Net和工作流模型扩展的业务流程中资源消耗的正式模型
机译:使用状态图断言来模拟人在环安全分析和决策过程。