Vol-988⫷ Vol-989 ⫸Vol-990
urn:nbn:de:0074-989-0


None⫷None⫸None
Vladimir A. BashkinIrina A. Lomazova

Soundness of Workflow Nets with an Unbounded Resource is Decidable