On the Expressiveness of Communication Channels for Object Nets
Michael Köhler-Bußmeier, Frank Heitmann · Fundamenta Informaticae · 2009
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.