Petri Net Synthesis

MLA

Badouel, Luca Bernardinello, and Philippe Darondeau. Petri Net Synthesis. Springer Berlin Heidelberg, 2015.

APA

Badouel, B., Bernardinello, L., & Darondeau, P. (2015). Petri Net Synthesis. Springer Berlin Heidelberg.

Chicago

Badouel, Luca Bernardinello, and Philippe Darondeau. Petri Net Synthesis. : Springer Berlin Heidelberg, 2015.