Department of Mathematics and Computer Science, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands;
petri nets; concurrency; workflow; resources; verification;
机译:价格受限的工作流网的安全性和可靠性
机译:确定资源受限的工作流网络的稳健性
机译:资源受限的工作流网的健全性标准的可判定性结果
机译:资源受限的工作流网的间隔合理性:可确定性和修复
机译:在资源受限的新兴网络中启用可靠和安全的数据传输
机译:逻辑Petri工作流网和工作流网之间的等效性
机译:1资源受限工作流网络的可靠性是可判定的