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.