Kurt Lautenbach Hans Albrecht Schmid Use of Petri Nets for Proving Correctness of Concurrent Process Systems. 187-191 1974 IFIP Congress db/conf/ifip/ifip74.html#LautenbachS74