Zero-safe net models for transactions in Linda