Reachability via compositionality in Petri nets (bibtex)

by Paweł Sobociński and Owen Stephens

Reference:

Paweł Sobociński and Owen Stephens, Reachability via compositionality in Petri nets, 2013.

Bibtex Entry:

@UNPUBLISHED{Sobocinski2013,
  author = {Pawe{\l} Soboci{\'{n}}ski and Owen Stephens},
  title = {Reachability via compositionality in {P}etri nets},
  note = {arXiv:1303.1399v1},
  year = {2013},
  owner = {pawel},
  timestamp = {2013.03.03},
  url = {http://arxiv.org/abs/1303.1399v1}
}