Transactions On Petri Nets And Other Models Of Concurrency | lit.salon