约尔格·德塞尔 马克·芬塔默 安德雷亚·弗兰克 Cycl$\mathbf{\circlearrowright}$n-一个确定Petri网停止转移的工具。 392-402 2020 Petri网 https://doi.org/10.1007/978-3-030-51831-8_20 conf/apn/2020 db/conf/apn/pn2020.html#DeselFF20