Naoki Nakahara, Shingo Yamaguchi. On Liveness of Non-sound Acyclic Free Choice Workflow Nets. In Second International Symposium on Computing and Networking, CANDAR 2014, Shizuoka, Japan, December 10-12, 2014. pages 336-341, IEEE, 2014. [doi]
Abstract is missing.