Merkliste 
 1 Ergebnisse 
 
1

On structural reduction of liveness-enforcing Petri net sup..:

Bashir, Muhammad ; Li, Zhiwu ; Uzam, Murat..
IMA Journal of Mathematical Control and Information.  35 (2017)  4 - p. 1217-1249 , 2017