Полное описание

519.179.2/J41-478121
Jensen, K. Coloured petri nets : modelling and validation of concurrent systems / K. Jensen, L. M. Kristensen. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - URL: http://dx.doi.org/10.1007/b95112. - ISBN 978-3-642-00284-7.

ГРНТИ	УДК
27.45.17	519.179.2
50.33.04	004.272.2

Кл.слова (ненормированные): сети петри -- параллельные вычисления
Доп. точки доступа:
Kristensen, L.M.
SpringerLink (Online service)

http://dx.doi.org/10.1007/b95112

Просмотр издания