Bibliography
On the Expressiveness of Communication Channels for Object Nets
Michael Köhler-Bußmeier and Frank Heitmann.
On the expressiveness of communication channels for object nets.
Fundamenta Informaticae, 93(1-3):205-219, 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.
BibTeX
@Article{Koehler+09f,
author = {K{\"o}hler-Bu{\ss}meier, Michael and Heitmann, Frank},
title = {On the Expressiveness of Communication Channels for Object Nets},
year = 2009,
journal = {Fundamenta Informaticae},
volume = {93},
number = {1-3},
pages = {205--219},
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.}
}
