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.

Abstract

Abstract is missing.