Reset nets between decidability and undecidability
1998 ◽
pp. 103-115
◽