|
by Badouel, Eric, Bernardinello, Luca, Darondeau, Philippe
Published 2015
“... focus on safe Petri nets and place/transition nets (P/T-nets), treating synthesis as an automated...”Published 2015
Springer Berlin Heidelberg