Publication

Deriving Petri Nets from finite transition systems (1998)

Author(s): Cortadella J, Kishinevsky M, Lavagno L, Yakovlev A

      • Journal: IEEE Transactions on Computers
      • Volume: 47
      • Issue: 8
      • Pages: 859-882
      • Publisher: IEEE Computer Society
      • Publication type: Article
      • Bibliographic status: Published
      Staff

      Professor Alex Yakovlev
      Professor of Computer System Design