TY  - DATA
AU  - Eric Badouel
AU  -  Luca Bernardinello
AU  -  Philippe Darondeau
TI  - Petri Net Synthesis
T2  - Texts in Theoretical Computer Science. An EATCS Series
SN  - 9783662479674
PB  - Springer
KW  - Computer Science
KW  - Theory of Computation
UR  - https://link.springer.com/openurl?genre=book&isbn=978-3-662-47967-4
ER  -