Combining free choice and time in Petri nets

Type

Authors

Akshay S.; Hélouët L.; Phawade R.

Source title

Journal of Logical and Algebraic Methods in Programming

DOI

10.1016/j.jlamp.2018.11.006

Publication Year