Mauricio Varea Bashir M. Al-Hashimi Luis Alejandro Cortés Petru Eles Zebo Peng Symbolic model checking of Dual Transition Petri Nets. 43-48 2002 conf/codes/2002 CODES http://doi.acm.org/10.1145/774789.774799 db/conf/codes/codes2002.html#VareaACEP02