@inproceedings{anwar2013encoding,
  title={Encoding higher level extensions of petri nets in answer set programming},
  author={Anwar, Saadat and Baral, Chitta and Inoue, Katsumi},
  booktitle={International Conference on Logic Programming and Nonmonotonic Reasoning},
  pages={116--121},
  year={2013},
  organization={Springer, Berlin, Heidelberg}
}

{"_id":"kDpQc4wQyA6Dh5NqL","bibbaseid":"anwar-baral-inoue-encodinghigherlevelextensionsofpetrinetsinanswersetprogramming-2013","author_short":["Anwar, S.","Baral, C.","Inoue, K."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Encoding higher level extensions of petri nets in answer set programming","author":[{"propositions":[],"lastnames":["Anwar"],"firstnames":["Saadat"],"suffixes":[]},{"propositions":[],"lastnames":["Baral"],"firstnames":["Chitta"],"suffixes":[]},{"propositions":[],"lastnames":["Inoue"],"firstnames":["Katsumi"],"suffixes":[]}],"booktitle":"International Conference on Logic Programming and Nonmonotonic Reasoning","pages":"116–121","year":"2013","organization":"Springer, Berlin, Heidelberg","bibtex":"@inproceedings{anwar2013encoding,\n title={Encoding higher level extensions of petri nets in answer set programming},\n author={Anwar, Saadat and Baral, Chitta and Inoue, Katsumi},\n booktitle={International Conference on Logic Programming and Nonmonotonic Reasoning},\n pages={116--121},\n year={2013},\n organization={Springer, Berlin, Heidelberg}\n}\n\n","author_short":["Anwar, S.","Baral, C.","Inoue, K."],"key":"anwar2013encoding","id":"anwar2013encoding","bibbaseid":"anwar-baral-inoue-encodinghigherlevelextensionsofpetrinetsinanswersetprogramming-2013","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://cogintlab-asu.github.io/cogint_bib.bib","dataSources":["qFKdMbFtP3HEjG9PQ"],"keywords":[],"search_terms":["encoding","higher","level","extensions","petri","nets","answer","set","programming","anwar","baral","inoue"],"title":"Encoding higher level extensions of petri nets in answer set programming","year":2013}