10433 Javier Esparza: Decidability of model checking for infinite-state concurrent systems. Internet ca. 1995, 25p. 10451 Hsu-chun Yen/Bow-yaw Wang/Ming-sheng Yang: Deciding a class of path formulas for conflict-free Petri nets. Theory Comp. Systems 30 (1997), 475-494.