Properties of Object Petri Nets - Michael Köhler and Heiko Rölke (Lecture notes in computer science, 2004)
Keywords: decidability; nets within nets; object Petri nets