Merkliste 
 1 Ergebnisse 
 
1

Automated Modelling of Deadlock-free Petri Nets Using Dupli..:

, In: 2020 17th International Conference on Electrical Engineering, Computing Science and Automatic Control (CCE),