TY  - RPRT
TI  - Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning
AU  - Saadat Anwar
AU  - Chitta Baral
AU  - Katsumi Inoue
PY  - 2013
UR  - https://arxiv.org/abs/1306.3542
ID  - 1306.3542
ER  -