Verifying soundness of business processes: A decision process Petri nets approach
作者：
Highlights：
• Lyapunov stability theory is used to tackle the soundness verification problem.
• Soundness property is solved showing that the net is uniformly practically stable.
• The problem of finding an optimum trajectory for soundness validation is solvable.
• The computational complexity for solving the problem is calculated.
• Connection with partially ordered decision-process Petri nets is proved.
摘要
•Lyapunov stability theory is used to tackle the soundness verification problem.•Soundness property is solved showing that the net is uniformly practically stable.•The problem of finding an optimum trajectory for soundness validation is solvable.•The computational complexity for solving the problem is calculated.•Connection with partially ordered decision-process Petri nets is proved.
论文关键词：Soundness,Workflow nets,Decision-process Petri nets,Stability,Lyapunov methods,Optimization
论文评审过程：Available online 15 March 2014.
论文官网地址：https://doi.org/10.1016/j.eswa.2014.03.005
