ISTD, Singapore University of Technology and Design, Singapore 138682;
ISTD, Singapore University of Technology and Design, Singapore 138682;
Temasek Lab, National University of Singapore, Singapore 117417;
School of Computing, National University of Singapore, Singapore 117417;
Petri nets; workflow nets; workflow nets with reset arcs; soundness; co-NP-hardness; PSPACE-hardness;
机译:论非循环工作流网络确定健全性的复杂性
机译:工作流网络健全性问题的复杂性
机译:工作流网络健全性问题的一些复杂性结果
机译:有界工作流网的声音问题的复杂性
机译:减少自动工作流发现算法的工作流程模型复杂性
机译:逻辑Petri工作流网和工作流网之间的等效性
机译:安全不对称选择工作流网的声音问题的PSPACE完整性