Hanna Klaudel, Maciej Koutny, Ben C. Moszkowski. From Petri Nets with Shared Variables to ITL.
16th International Conference on Application of Concurrency to System Design (ACSD 2016), Jun 2016, Torun, Poland. pp.11--18,
⟨10.1109/ACSD.2016.12⟩.
⟨hal-01496956⟩