An Improved Construction of Petri Net Unfoldings
César Rodríguez and Stefan Schwoon
Book Title
Proc. of the French−Singaporean Workshop on Formal Methods and Applications (FSFMA'13)
Editor
Choppy‚ Christine and Sun‚ Jun
Month
jul
Pages
47–52
Publisher
Leibniz−Zentrum für Informatik
Series
OASICS
Volume
31
Year
2013