The Reachability Problem for Object Nets
Michael Köhler · Fundamenta Informaticae · 2007
In this article I will prove undecidability results for elementary object net systems (EOS). Object nets are Petri nets which have Petri nets as tokens - an approach which is called the netswithin-nets paradigm. EOS are special object net systems which have a two leveled structure.