Verification of Petri Nets with Read Arcs
César Rodríguez and Stefan Schwoon
Book Title
Proc. International Conference on Concurrency Theory (CONCUR)
Editor
Koutny‚ Maciej and Ulidowski‚ Irek
Month
sep
Pages
471–485
Publisher
Springer
Series
LNCS
Volume
7454
Year
2012