Encoding higher level extensions of Petri nets in answer set programming

Saadat Anwar, Chitta Baral, Katsumi Inoue

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Citations (Scopus)

Abstract

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.

Original languageEnglish (US)
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages116-121
Number of pages6
Volume8148 LNAI
DOIs
StatePublished - 2013
Event12th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2013 - Corunna, Spain
Duration: Sep 15 2013Sep 19 2013

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8148 LNAI
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other12th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2013
CountrySpain
CityCorunna
Period9/15/139/19/13

Fingerprint

Answer Set Programming
Question Answering
Biological systems
Petri nets
Biological Systems
Petri Nets
Pathway
Encoding
Reasoning
Students
Testing
Term
Simulation
Model
Text

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Anwar, S., Baral, C., & Inoue, K. (2013). Encoding higher level extensions of Petri nets in answer set programming. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8148 LNAI, pp. 116-121). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8148 LNAI). https://doi.org/10.1007/978-3-642-40564-8_12

Encoding higher level extensions of Petri nets in answer set programming. / Anwar, Saadat; Baral, Chitta; Inoue, Katsumi.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8148 LNAI 2013. p. 116-121 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8148 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Anwar, S, Baral, C & Inoue, K 2013, Encoding higher level extensions of Petri nets in answer set programming. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 8148 LNAI, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8148 LNAI, pp. 116-121, 12th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2013, Corunna, Spain, 9/15/13. https://doi.org/10.1007/978-3-642-40564-8_12
Anwar S, Baral C, Inoue K. Encoding higher level extensions of Petri nets in answer set programming. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8148 LNAI. 2013. p. 116-121. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-642-40564-8_12
Anwar, Saadat ; Baral, Chitta ; Inoue, Katsumi. / Encoding higher level extensions of Petri nets in answer set programming. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8148 LNAI 2013. pp. 116-121 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{283ad69cd3e44dda9839a02860b1057c,
title = "Encoding higher level extensions of Petri nets in answer set programming",
abstract = "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.",
author = "Saadat Anwar and Chitta Baral and Katsumi Inoue",
year = "2013",
doi = "10.1007/978-3-642-40564-8_12",
language = "English (US)",
isbn = "9783642405631",
volume = "8148 LNAI",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "116--121",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

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

VL - 8148 LNAI

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 116

EP - 121

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ER -