Department of Mathematics and Computer Science Eindhoven University of Technology P.O. Box 513, 5600 MB Eindhoven, The Netherlands;
petri nets; workflows; verification; soundness, decidability;
机译:论非循环工作流网络确定健全性的复杂性
机译:确定资源受限的工作流网络的稳健性
机译:资源受限的工作流网的健全性标准的可判定性结果
机译:工作流网的广义健全性是可判定的
机译:广义Skyrme模型的质子电磁形状因数(法文)。
机译:逻辑Petri工作流网和工作流网之间的等效性
机译:工作流网的广义健全性是可判定的