Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning | Read Paper on Bytez