Petri Net Synthesis


Petri Net Synthesis

Petri Net Synthesis

Eric Badouel, Luca Bernardinello, Philippe Darondeau (auth.) ...