Number of the records: 1
Coloured Petri nets
- JENSEN, Kurt - KRISTENSEN, Lars Michael. Coloured Petri nets : modelling and validation of concurrent systems. Softcover re-print of the hardcover 1st edition. Berlin ; Heidelberg : Springer, 2009. ISBN 978-3-642-42581-3.
Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel.
Number of the records: 1