使用组件定时弧 Petri 网验证定时医疗保健工作流程 电子书下载

原名:Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets
作品简介:的资源。定义、分析和管理协作医疗工作流程的协作模型并演示如何使用该模型，并通过 MT-LAB、VKR 卓越中心工作流程管理联盟术语和术语表（WFMC-TC-.1011）。……