Context; Delays; Petri nets; Reachability analysis; Semantics; Time factors; Upper bound; Time Workflow nets; state class graphs; K-soundness; (strong) ?-soundness;
机译:离散和连续定时语义中定时弧工作流网的安全性
机译:减少部分订单以检查时间工作流网络的健全性
机译:组合逻辑时间工作流网络中的健全性保存
机译:强大的时间工作流网的概括健全
机译:从纸张转换为数字疫苗接种记录:整合到诊所工作流程,时间利用后工作流程修改,并对接种疫苗的时间性影响
机译:使用定时彩色培养网的Covid-19大流行病中心脏诊所患者工作流程的模拟与改进
机译:离散和连续时间语义中定时弧工作流网络的健全性