Saadat Anwar, Chitta Baral, Katsumi Inoue. Encoding Higher Level Extensions of Petri Nets in Answer Set Programming. In Pedro Cabalar, Tran Cao Son, editors, Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings. Volume 8148 of Lecture Notes in Computer Science, pages 116-121, Springer, 2013. [doi]
@inproceedings{AnwarBI13-0,
title = {Encoding Higher Level Extensions of Petri Nets in Answer Set Programming},
author = {Saadat Anwar and Chitta Baral and Katsumi Inoue},
year = {2013},
doi = {10.1007/978-3-642-40564-8_12},
url = {http://dx.doi.org/10.1007/978-3-642-40564-8_12},
researchr = {https://researchr.org/publication/AnwarBI13-0},
cites = {0},
citedby = {0},
pages = {116-121},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings},
editor = {Pedro Cabalar and Tran Cao Son},
volume = {8148},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-40564-8},
}