Verification of bounded Petri nets using integer programming (2007)

Author(s): Khomenko V, Koutny M

      • Journal: Formal Methods in System Design
      • Volume: 30
      • Issue: 2
      • Pages: 143-176
      • Publisher: Springer
      • Publication type: Article
      • Bibliographic status: Published
      Staff

      Dr Victor Khomenko
      Senior Lecturer

      Professor Maciej Koutny
      Professor of Computing Science