In: Concurrency, Specification and Programming CS&P'2006, Vol. 1: Concurrency. Informatik-Bericht Nr. 206 der Humbold-Universität zu Berlin, Eds.: G. Lindemann, H. Schlingloff., pages 26-37. September 06.
Abstract: 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 "nets-within-nets" paradigm. Eos are special object net system which have a two leveled structure.
Keywords: decidability; nets within nets; Petri nets; reachability.