Počet záznamů: 1
Coloured Petri Nets
- JENSEN, Kurt - KRISTENSEN, Lars Michael. Coloured Petri Nets : modelling and validation of concurrent systems. Berlin : Springer, c2009. ISBN 9783642002830.
Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel.
Počet záznamů: 1