Transactions and Zero-Safe Nets