Buy Transactions On Petri Nets And Other Models Of Concurrency I 2008