Philippe Darondeau. Unbounded Petri Net Synthesis. In Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg, editors, Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additiona. Volume 3098 of Lecture Notes in Computer Science, pages 413-438, Springer, 2003. [doi]
@inproceedings{Darondeau03,
title = {Unbounded Petri Net Synthesis},
author = {Philippe Darondeau},
year = {2003},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3098&spage=413},
researchr = {https://researchr.org/publication/Darondeau03},
cites = {0},
citedby = {0},
pages = {413-438},
booktitle = {Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additiona},
editor = {Jörg Desel and Wolfgang Reisig and Grzegorz Rozenberg},
volume = {3098},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-22261-8},
}