2001): Transactions and Zero-Safe Nets (0)

by R Bruni, U Montanari
Venue:Unifying Petri Nets, Advances in Petri Nets, Lecture Notes in Computer Science 2128