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.}
}