Transactions and Zero-Safe Nets
Unifying Petri Nets, Advances in Petri Nets
Concurrent models for Linda with transactions
Mathematical Structures in Computer Science
On the Synthesis of Zero-Safe Nets
Concurrency, Graphs and Models
Linear Properties of Zero-Safe Nets with Debit Tokens
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Executing transactions in zero-safe nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Linear Properties of Zero-Safe Nets with Debit Tokens
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
| Hi-index | 0.00 |