External Links

    Journal: Formal Methods in System Design

    Volume 12, Issue 1

    5 -- 38Alex Kondratyev, Michael Kishinevsky, Alexander Taubin, Sergei Ten. Analysis of Petri Nets by Ordering Relations in Reduced Unfoldings
    39 -- 71Alexandre Yakovlev. Designing Control Logic for Counterflow Pipeline Processor Using Petri Nets
    73 -- 115Radu Negulescu, Janusz A. Brzozowski. Relative Liveness: From Intuition to Automated Verification
    runs on