Algorithms for the Synthesis of Elementary Net Systems with Localities

Aishah Ahmed, Marta Pietkiewicz-Koutny. Algorithms for the Synthesis of Elementary Net Systems with Localities. In Michael Köhler-Bußmeier, Ekkart Kindler, Heiko Rölke, editors, Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), Paris, France, June 24, 2020 (due to COVID-19: virtual conference). Volume 2651 of CEUR Workshop Proceedings, pages 86-107, CEUR-WS.org, 2020. [doi]

@inproceedings{AhmedP20-3,
  title = {Algorithms for the Synthesis of Elementary Net Systems with Localities},
  author = {Aishah Ahmed and Marta Pietkiewicz-Koutny},
  year = {2020},
  url = {http://ceur-ws.org/Vol-2651/paper6.pdf},
  researchr = {https://researchr.org/publication/AhmedP20-3},
  cites = {0},
  citedby = {0},
  pages = {86-107},
  booktitle = {Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), Paris, France, June 24, 2020 (due to COVID-19: virtual conference)},
  editor = {Michael Köhler-Bußmeier and Ekkart Kindler and Heiko Rölke},
  volume = {2651},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}