Lautenbach, Kurt; Schmid, Hans Albrecht Use of Petri nets for proving correctness of concurrent process systems. (English) Zbl 0299.68006 Inform. Processing 74, Proc. IFIP Congr. 74, Stockholm, 187-191 (1974). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 3 Documents MSC: 68N01 General topics in the theory of software PDF BibTeX XML OpenURL