Reducing k -Safe Petri Nets to Pomset-Equivalent 1-Safe Petri Nets

Eike Best, Harro Wimmel. Reducing k -Safe Petri Nets to Pomset-Equivalent 1-Safe Petri Nets. In Mogens Nielsen, Dan Simpson, editors, Application and Theory of Petri Nets 2000, 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000, Proceeding. Volume 1825 of Lecture Notes in Computer Science, pages 63-82, Springer, 2000. [doi]

@inproceedings{BestW00,
  title = {Reducing k -Safe Petri Nets to Pomset-Equivalent 1-Safe Petri Nets},
  author = {Eike Best and Harro Wimmel},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1825/18250063.htm},
  researchr = {https://researchr.org/publication/BestW00},
  cites = {0},
  citedby = {0},
  pages = {63-82},
  booktitle = {Application and Theory of Petri Nets 2000, 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000, Proceeding},
  editor = {Mogens Nielsen and Dan Simpson},
  volume = {1825},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67693-7},
}