International Journal of Computer Applications
Research on business processes modeling has extensively studied the structural aspects of business processes. Most business process modeling languages are graph-based and emphasis has been put on structural concerns such as verifying if all jobs terminate properly, if tasks are properly synchronized or if there are sub-procedures that are never used. Petri nets and more precisely the sub-type called Workflow nets have been instrumental in getting these results, at least for the formal aspects. There is an extensive literature about the structural and the dynamic properties of business process models, particularly based on Petri nets.