Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning

Open in new window