Encoding Higher Level Extensions of Petri Nets in Answer Set Programming

@article{Anwar2013EncodingHL,
  title={Encoding Higher Level Extensions of Petri Nets in Answer Set Programming},
  author={Saadat Anwar and Chitta Baral and Katsumi Inoue},
  journal={ArXiv},
  year={2013},
  volume={abs/1306.3548}
}
Answering realistic questions about biological systems and pathways similar to the ones used by text books to test understanding of students about biological systems is one of our long term research goals. Often these questions require simulation based reasoning. To answer such questions, we need formalisms to build pathway models, add extensions, simulate, and reason with them. We chose Petri Nets and Answer Set Programming (ASP) as suitable formalisms, since Petri Net models are similar to… CONTINUE READING
1
Twitter Mention

References

Publications referenced by this paper.