TY - GEN
T1 - Encoding higher level extensions of Petri nets in answer set programming
AU - Anwar, Saadat
AU - Baral, Chitta
AU - Inoue, Katsumi
PY - 2013
Y1 - 2013
N2 - Answering realistic questions about biological systems and pathways similar to text book questions used for testing students' understanding of such systems is one of our long term research goals. Often these questions require simulation based reasoning. In this paper, we show how higher level extensions of Petri Nets, such as colored tokens can be encoded in Answer Set Programming, thereby providing the right formalisms to model and reason about such questions with relative ease. Our approach can be adapted to other domains.
AB - Answering realistic questions about biological systems and pathways similar to text book questions used for testing students' understanding of such systems is one of our long term research goals. Often these questions require simulation based reasoning. In this paper, we show how higher level extensions of Petri Nets, such as colored tokens can be encoded in Answer Set Programming, thereby providing the right formalisms to model and reason about such questions with relative ease. Our approach can be adapted to other domains.
UR - http://www.scopus.com/inward/record.url?scp=84885730264&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84885730264&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-40564-8_12
DO - 10.1007/978-3-642-40564-8_12
M3 - Conference contribution
AN - SCOPUS:84885730264
SN - 9783642405631
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 116
EP - 121
BT - Logic Programming and Nonmonotonic Reasoning - 12th International Conference, LPNMR 2013, Proceedings
T2 - 12th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2013
Y2 - 15 September 2013 through 19 September 2013
ER -