Analysis of Petri Nets by Ordering Relations in Reduced Unfoldings Alex KondratyevMichael KishinevskySergei Ten OriginalPaper Pages: 5 - 38
Designing Control Logic for Counterflow Pipeline Processor Using Petri Nets Alexandre Yakovlev OriginalPaper Pages: 39 - 71
Relative Liveness: From Intuition to Automated Verification R. NegulescuJ.A. Brzozowski OriginalPaper Pages: 73 - 115