Atsushi Ohta, Kohkichi Tsuji. Computational Complexity of DECLARE Relation Problem for Sound non-Free-Choice Workflow Nets. 2020 59th Annual Conference of the Society of Instrument and Control Engineers of Japan, SICE 2020. 2020. 1569-1574
Atsushi Ohta, Ryosuke Fujii, Kohkichi Tsuji. Polynomial Time Solvability of Response Property for Sound Acyclic Free Choice Workflow Nets. 34th International Technical Conference on Circuits/Systems, Computers and Communications, ITC-CSCC 2019. 2019
A. Ohta, K. TSUJI. Response property for bounded acyclic Petri net is co-NP complete. SICE Annual Conference 2018. 2018