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.
Citation
Number of the records: 1
This site uses cookies to make them easier to browse. Learn more about
how we use cookies.