Matthias Werner, Gero Mühl. Non-reachability in Petri Nets with Delaying Places. In 14th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2006), 11-14 September 2006, Monterey, California, USA. pages 401-412, IEEE Computer Society, 2006. [doi]
Abstract is missing.