Ding, Junhua, Dianxiang Xu, and Jidong Ge. 2013. “An Approach for Analyzing Software Specifications in Petri Nets.”. SEKE, 411-16. Last updated on 07/19/2023
