1. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);S Anwar,2013
2. Anwar, S., Baral, C., Inoue, K.: Encoding Petri nets in answer set programming for simulation based reasoning. TPLP, 13(4-5-Online-Supplement) (2013)
3. Anwar, S., Baral, C., Inoue, K.: Simulation-based reasoning about biological pathways using Petri nets and ASP. Logical Modeling of Biological Systems, pp. 207–243 (2014)
4. Barylska, K., Gogolinska, A., Mikulski, L., Philippou, A., Piatkowski, M., Psara, K.: Reversing computations modelled by coloured Petri nets. In: Proceedings of ATAED 2018, CEUR Workshop, vol. 2115, pp. 91–111 (2018)
5. Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Answer Set Solving in Practice. Morgan Claypool Publishers, San Rafael (2012)