What Petri Net Obliges Us to Say

(TODO: replace links and citation to IEEE TSE once published)

This repository holds the code appendix for the paper https://arxiv.org/abs/2205.00221

Academic Citation

To cite our paper: Elyasaf, A., Yaacov, T., & Weiss, G. (2022). What Petri Net Obliges Us to Say. arXiv preprint arXiv:2205.00221.

Latex source files

The full project source file can be found at https://arxiv.org/abs/2205.00221

The latex folder contains a smaller latex project with all listings and figures.

Executable Petri-net models

To verify the correctness of the PN-to-BP translation, we wrote all Petri-net models using the SNAKES package. More details on these models are in the pn folder.

Executable BP models

All BP models, including the translated-to-BP models, are in the pn folder. The models can be executed and analyzed.