Reference no: EM133216645

Workflow nets are a class of Petri nets for the analysis of business processes. A Workflow net has a unique source and a unique sink place and all places and transitions are on a directed path from this source place to this sink place.

A Workflow net is sound if and only if:

a. from every reachable marking a marking can be reached that marks the sink place (option to complete),

b. every reachable marking that marks the sink place marks it with one token only and marks no other place (proper completion), and

c. for every transition a marking can be reached that enables this transition (no dead transitions).

There is a lot of reference material on Workflow nets and soundness available, for example:

W.M.P. van der Aalst. Verification of Workflow Nets. In P. Az ´ema and G. Balbo, editors, Application and Theory of Petri Nets 1997, volume 1248 of Lecture Notes in Computer Science, pages 407-426. Springer-Verlag, Berlin, 1997.

Create a Workflow net that only violates the option to complete property.

Create a Workflow net that only violates the proper completion property.

Create a Workflow net that only violates the no dead transitions property.

Create a Workflow net that violates the option to complete and proper completion properties, but not the no dead transitions property.