Wimmel H. Entscheidbarkeit bei Petri Netzen : Uberblick und Kompendium / H. Wimmel, 2008 r=on-line. - Текст : электронный.