Petri nets; Workflow nets; Asymmetric-choice nets; Soundness Liveness; PSPACE-completeness;
机译:非对称选择工作流网络的健壮性问题的共NP-硬度
机译:价格受限的工作流网的安全性和可靠性
机译:Petri网的可逆释放形式及其在工作流网络安全性中的应用
机译:声音非免费工作流网络的DECLARE关系问题的计算复杂性
机译:检查空中救护车患者护理环境的布局和组织,以改善护理人员的工作流程和患者安全
机译:用于来自临床和废水样品的RNA提取病原体的鲁棒安全和可伸缩的磁性纳米粒子工作流程
机译:安全不对称选择工作流网的声音问题的PSPACE完整性
机译:对非受控网络设备的安全(声音)。