Encoding Higher Level Extensions of Petri Nets in Answer Set Programming.

Saadat Anwar, Chitta Baral, Katsumi Inoue

Browse the full LPNMR paper archive.