Describir: Transactions on petri nets and other models of concurrency V / Kurt Jensen, Susanna Donatelli, Jetty Kleijn (eds.).