Compositional Reachability in Petri Nets (bibtex)

by Julian Rathke, Paweł Sobociński and Owen Stephens

Reference:

Julian Rathke, Paweł Sobociński and Owen Stephens, Compositional Reachability in Petri Nets, In Reachability Problems – 8th International Workshop, RP 2014, Oxford, UK, September 22–24, 2014, Proceedings (Joël Ouaknine, Igor Potapov, James Worrell, eds.), Springer, vol. 8762, pp. 230–243, 2014.

Bibtex Entry:

@InProceedings{Rathke2014a,
  author    = {Julian Rathke and Pawe{\l} Soboci{\'{n}}ski and Owen Stephens},
  title     = {Compositional Reachability in Petri Nets},
  booktitle = {Reachability Problems -- 8th International Workshop, {RP} 2014, Oxford, UK, September 22--24, 2014, Proceedings},
  editor    = {Jo{\"{e}}l Ouaknine and Igor Potapov and James Worrell},
  series    = {Lecture Notes in Computer Science},
  volume    = {8762},
  pages     = {230--243},
  publisher = {Springer},
  year      = {2014},
  doi       = {10.1007/978-3-319-11439-2\_18},
  url       = {https://doi.org/10.1007/978-3-319-11439-2\_18},
}