On the Expressiveness of Communication Channels for Object Nets

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

Article type: Research Article

Authors: Kohler-Bußmeier, Michael | Heitmann, Frank

Affiliations: University of Hamburg, Department of Informatics, Vogt-Kölln-Str. 30, D-22527 Hamburg. [email protected] | University of Hamburg, Department of Computer Science, Vogt-Kölln-Str. 30, D-22527 Hamburg. [email protected]

Note: [] Address for correspondence: University of Hamburg, Department of Informatics, Vogt-Kölln-Str. 30, D-22527 Hamburg

Abstract: In this work we present object net systems, i.e. Petri nets with nets as token objects, which are equipped with channels that allow to transfer net-tokens in the vertical dimension of the nested marking. These channels are a modelling element powerful enough to describe a direct simulation of counter programs which shows that typical net problems like boundedness, coverability, and reachability are undecidable.

DOI: 10.3233/FI-2009-0097

Journal: Fundamenta Informaticae, vol. 93, no. 1-3, pp. 205-219, 2009