The Reachability Problem for Object Nets

Issue title: Special Issue on Concurrency Specification and Programming (CS&P)

Article type: Research Article

Authors: Köhler, Michael

Affiliations: Department of Informatics, University of Hamburg Vogt-Kölln-Str. 30, 22527 Hamburg, German. E-mail: [email protected]

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 "netswithin-nets" paradigm. EOS are special object net systems which have a two leveled structure.

Keywords: decidability, nets within nets, Petri nets, reachability

Journal: Fundamenta Informaticae, vol. 79, no. 3-4, pp. 401-413, 2007