"A monitor solution to enforce legal transition firing sequences problems ..."

Xiang Gao et al. (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics