Merkliste 
 1 Ergebnisse 
 
1

Coloured petri nets 

modelling and validation of concurrent systems 
Jensen, Kurt , 2009
Exemplar:  Zentrale:E02 a inf 450 pet/529