Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning

@article{Anwar2013EncodingPN,
  title={Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning},
  author={Saadat Anwar and Chitta Baral and Katsumi Inoue},
  journal={ArXiv},
  year={2013},
  volume={abs/1306.3542}
}
One of our long term research goals is to develop systems to answer realistic questions (e.g., some mentioned in textbooks) about biological pathways that a biologist may ask. To answer such questions we need formalisms that can model pathways, simulate their execution, model intervention to those pathways, and compare simulations under different circumstances. We found Petri Nets to be the starting point of a suitable formalism for the modeling and simulation needs. However, we need to make… CONTINUE READING
1
Twitter Mention

Citations

Publications citing this paper.
SHOWING 1-4 OF 4 CITATIONS

References

Publications referenced by this paper.
SHOWING 1-10 OF 38 REFERENCES

The BioASP Library: ASP Solutions for Systems Biology

  • 2010 22nd IEEE International Conference on Tools with Artificial Intelligence
  • 2010
VIEW 1 EXCERPT

Job schedule generation, March 3 2009

M. Balduccini
  • US Patent App
  • 2009
VIEW 1 EXCERPT

Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems

  • International Journal on Software Tools for Technology Transfer
  • 2007
VIEW 3 EXCERPTS

Model Checking with Logic Based Petri Nets

Dipl.-Inf. Tristan, Marc Behrens
  • 2007
VIEW 2 EXCERPTS

Similar Papers

Loading similar papers…