JENSEN, Kurt - KRISTENSEN, Lars Michael. Coloured petri nets : modeling and validation of concurrent systems. Dordrecht : Springer, c2009. xi, 384 s. ISBN 978-3-642-00283-0.
Citace
Počet záznamů: 1
Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom
jak používáme cookies.
