@article{anwar2013encoding,
  title={Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning},
  author={Anwar, Saadat and ASU, Chitta Baral and Inoue, Katsumi},
  year={2013}
}

{"_id":"zfo5C6tjaYxKcDX8S","bibbaseid":"anwar-asu-inoue-encodingpetrinetsinanswersetprogrammingforsimulationbasedreasoning-2013","authorIDs":[],"author_short":["Anwar, S.","ASU, C. B.","Inoue, K."],"bibdata":{"bibtype":"article","type":"article","title":"Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning","author":[{"propositions":[],"lastnames":["Anwar"],"firstnames":["Saadat"],"suffixes":[]},{"propositions":[],"lastnames":["ASU"],"firstnames":["Chitta","Baral"],"suffixes":[]},{"propositions":[],"lastnames":["Inoue"],"firstnames":["Katsumi"],"suffixes":[]}],"year":"2013","bibtex":"@article{anwar2013encoding,\n title={Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning},\n author={Anwar, Saadat and ASU, Chitta Baral and Inoue, Katsumi},\n year={2013}\n}\n\n","author_short":["Anwar, S.","ASU, C. B.","Inoue, K."],"key":"anwar2013encoding-1","id":"anwar2013encoding-1","bibbaseid":"anwar-asu-inoue-encodingpetrinetsinanswersetprogrammingforsimulationbasedreasoning-2013","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://cogintlab-asu.github.io/cogint_bib.bib","creationDate":"2019-10-08T21:37:52.699Z","downloads":0,"keywords":[],"search_terms":["encoding","petri","nets","answer","set","programming","simulation","based","reasoning","anwar","asu","inoue"],"title":"Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning","year":2013,"dataSources":["qFKdMbFtP3HEjG9PQ"]}