A new verification technique for large processes based on identification of relevant tasks
作者：
Highlights：
• Verification allows ensuring that a process complies with domain requirements.
• The state space for verification tends to increase exponentially.
• We use a reduction that confines the process model to regions for the verification.
• For the evaluation we use real-world industrial processes and requirements.
• Our approach verifies complex processes with many parallel branches in few seconds.
摘要
Highlights•Verification allows ensuring that a process complies with domain requirements.•The state space for verification tends to increase exponentially.•We use a reduction that confines the process model to regions for the verification.•For the evaluation we use real-world industrial processes and requirements.•Our approach verifies complex processes with many parallel branches in few seconds.
论文关键词：Business process management,Business process modeling,Workflow modeling,Verification,Model checking,Petri net
论文评审过程：Received 16 August 2013, Revised 22 May 2014, Accepted 14 July 2014, Available online 24 July 2014.
论文官网地址：https://doi.org/10.1016/j.is.2014.07.001
