Encoding Higher Level Extensions of Petri Nets in Answer Set Programming