Victor Khomenko Maciej Koutny Verification of bounded Petri nets using integer programming. 143-176 2007 30 Formal Methods in System Design 2 http://dx.doi.org/10.1007/s10703-006-0022-1 db/journals/fmsd/fmsd30.html#KhomenkoK07