A Class of Hypernets with Token Creation and Decidable Reachability Problem

Marek A. Bednarczyk, Piotr Józwiak, Wieslaw Pawlowski. A Class of Hypernets with Token Creation and Decidable Reachability Problem. In Louchka Popova-Zeugmann, editor, Proceedings of the 21th International Workshop on Concurrency, Specification and Programming, Berlin, Germany, September 26-28, 2012. Volume 928 of CEUR Workshop Proceedings, pages 37-48, CEUR-WS.org, 2012. [doi]

@inproceedings{BednarczykJP12,
  title = {A Class of Hypernets with Token Creation and Decidable Reachability Problem},
  author = {Marek A. Bednarczyk and Piotr Józwiak and Wieslaw Pawlowski},
  year = {2012},
  url = {http://ceur-ws.org/Vol-928/0037.pdf},
  researchr = {https://researchr.org/publication/BednarczykJP12},
  cites = {0},
  citedby = {0},
  pages = {37-48},
  booktitle = {Proceedings of the 21th International Workshop on Concurrency, Specification and Programming, Berlin, Germany, September 26-28, 2012},
  editor = {Louchka Popova-Zeugmann},
  volume = {928},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}