A workflow net is sound if it fulfills that from every reachable marking a marking can be reached that marks the sink place. This property of Workflow net is known as "Option to complete" property. Can anyone explain it with a simple Petri Net model?

More Saleem Malik's questions See All
Similar questions and discussions