Vol-1846⫷ Vol-1847 ⫸Vol-1848
urn:nbn:de:0074-1847-0


Vol-1847/paper08⫷Vol-1847/paper09⫸Vol-1847/paper10

Synthesis of Labelled Transition Systems into Equal-Conflict Petri Nets