Analysis of Petri Nets by Ordering Relations in Reduced Unfoldings

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.

Possibly Related Publications

The following publications are possibly variants of this publication: