1. Analysis of Petri Nets by Ordering Relations in Reduced Unfoldings

   • Alex Kondratyev
   • Michael Kishinevsky
   • Sergei Ten

   OriginalPaper Pages: 5 - 38

2. Designing Control Logic for Counterflow Pipeline Processor Using Petri Nets

   • Alexandre Yakovlev

   OriginalPaper Pages: 39 - 71

3. Relative Liveness: From Intuition to Automated Verification

   • R. Negulescu
   • J.A. Brzozowski

   OriginalPaper Pages: 73 - 115