@InProceedings{rodriguez_et_al:OASIcs.FSFMA.2013.47,
author = {Rodr{\'\i}guez, C\'{e}sar and Schwoon, Stefan},
title = {{An Improved Construction of Petri Net Unfoldings}},
booktitle = {1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013)},
pages = {47--52},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-939897-56-9},
ISSN = {2190-6807},
year = {2013},
volume = {31},
editor = {Choppy, Christine and Sun, Jun},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.FSFMA.2013.47},
URN = {urn:nbn:de:0030-drops-40875},
doi = {10.4230/OASIcs.FSFMA.2013.47},
annote = {Keywords: Concurrency, Petri nets, partial orders, unfoldings}
}