Improved verification method for rationality of workflow

WANG Xia,WANG Gang,ZHOU Lidong
DOI: https://doi.org/10.3778/j.issn.1002-8331.2011.33.012
2011-01-01
Abstract:The structure of conflict in the workflow modeling is likely to cause the entire system can not function properly, so verifying rationality of the workflow structure is very important.Up to now,there is no simple algorithm to verify the rationality of the loop structure and the overlapping structure.An improved verification method for rationality of the workflow is presented.The method is based on Petri net model,combination of logical deduction and truth table.It can detect a variety of workflow structure conflicts simply and effectively.Application example shows the effectiveness of the method.
What problem does this paper attempt to address?