Protocol Inheritance Preserving Soundizability Problem and Its Polynomial Time Procedure for Acyclic Free Choice Workflow Nets

Shingo Yamaguchi, Huan Wu. Protocol Inheritance Preserving Soundizability Problem and Its Polynomial Time Procedure for Acyclic Free Choice Workflow Nets. IEICE Transactions, 97-D(5):1181-1187, 2014. [doi]

Abstract

Abstract is missing.