Products of Transition Systems and Additions of Petri Nets

Raymond R. Devillers. Products of Transition Systems and Additions of Petri Nets. In Jörg Desel, Alex Yakovlev, editors, 16th International Conference on Application of Concurrency to System Design, ACSD 2016, Torun, Poland, June 19-24, 2016. pages 65-73, IEEE Computer Society, 2016. [doi]

@inproceedings{Devillers16,
  title = {Products of Transition Systems and Additions of Petri Nets},
  author = {Raymond R. Devillers},
  year = {2016},
  doi = {10.1109/ACSD.2016.10},
  url = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2016.10},
  researchr = {https://researchr.org/publication/Devillers16},
  cites = {0},
  citedby = {0},
  pages = {65-73},
  booktitle = {16th International Conference on Application of Concurrency to System Design, ACSD 2016, Torun, Poland, June 19-24, 2016},
  editor = {Jörg Desel and Alex Yakovlev},
  publisher = {IEEE Computer Society},
  isbn = {978-1-5090-2589-3},
}