Buchs, D., Klikovits, S., Linard, A., 2020. Petri Nets: A Formal Language to Specify and Verify Concurrent Non-Deterministic Event Systems, in: . Springer International Publishing.. https://doi.org/10.1007/978-3-030-43946-0_7