Pierangelo Miglioli Ugo Moscato Mario Ornaghi Constructive Proofs as Programs Executable by PrT Nets. 311-322 1981 conf/apn/1981 Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets db/conf/apn/apn1981.html#MiglioliMO81