Merkliste 
 1 Ergebnisse 
 
1

Petri net synthesis 

Texts in theoretical computer science, an EATCS series
Exemplar:  Zentrale:E02 a inf 450 pet/920