Executing Transactions in Zero-Safe Nets