Transactions On Petri Nets And Other Models Of Concurrency by