Invia SMS: Transactions on petri nets and other models of concurrency 1 / Kurt Jensen, Wil M.P. van der Aalst, Jonathan Billington (eds.).