Abstract
Abstract This paper presents a method to quantify structurally, the exact number of finite traces in block structured workflow nets (BSWFN). First, the BSWFN are recursively defined, where two types of subnets, named AND blocks and OR blocks, may contain nested blocks. Then, an efficient approach that avoids the reachability analysis is proposed; it allows assessing the finite behaviour of BSWFN from its structure. The technique includes counting techniques for basic blocks and composition of blocks; a global counting algorithm is outlined as well as examples treated with its software implementation.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
