An Approach for Analyzing Software Specifications in Petri Nets.

Junhua Ding, Dianxiang Xu, Jidong Ge

Browse the full SEKE paper archive.