Encoding Higher Level Extensions of Petri Nets in Answer Set Programming

Open in new window