Zero-safe net models for transactions in Linda Roberto Bruni Ugo Montanari University of Pisa ConCoord: International Workshop on Concurrency and Coordination Lipari Island,…