TY  - RPRT
TI  - Encoding Higher Level Extensions of Petri Nets in Answer Set Programming
AU  - Saadat Anwar
AU  - Chitta Baral
AU  - Katsumi Inoue
PY  - 2013
UR  - https://arxiv.org/abs/1306.3548
ID  - 1306.3548
ER  -