Vol-2755⫷ Vol-2756 ⫸Vol-2757
urn:nbn:de:0074-2756-0


Vol-2756/paper17⫷Vol-2756/paper18⫸Vol-2756/paper19

Finding an Optimal Label-Splitting to Make a Transition System Petri Net Implementable: a Complete Complexity Characterization