Alex Kondratyev, Michael Kishinevsky, Alexander Taubin, Sergei Ten. Analysis of Petri Nets by Ordering Relations in Reduced Unfoldings. Formal Methods in System Design, 12(1):5-38, 1998.
No references recorded for this publication.
No citations of this publication recorded.