约尔格·德塞尔 马克·芬塔默 Petri网的停止变换。 143-172 2020 175 芬丹。信息学 1-4 https://doi.org/10.3233/FI-2020-1951 db/journals/fuin/fuin175.html#DeselF20