Ahmadon, Mohd Anuaruddin Bin and Yamaguchi, Shingo  (2014) On state number calculation problem in Petri nets.  In: UNSPECIFIED.