Newcastle University

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

• URL: http://dx.doi.org/10.1007/s10703-006-0022-1
• DOI: 10.1007/s10703-006-0022-1
• ISSN (electronic): 1572-8102

Staff

Dr Victor Khomenko Lecturer	Email: victor.khomenko@ncl.ac.uk Telephone: +44 191 222 8789
Professor Maciej Koutny Professor of Computing Science	Email: maciej.koutny@ncl.ac.uk Telephone: +44 191 222 7982