Anne-Cécile Fabret Antoine Petit 0001 On the Undecidability of Deadlock Detection in Families of Nets. 479-490 1995 conf/stacs/1995 STACS db/conf/stacs/stacs95.html#FabretP95 https://doi.org/10.1007/3-540-59042-0_98