Vytisknout
1. Coloured Petri nets
Coloured Petri nets : modelling and validation of concurrent systems / Kurt Jensen, Lars M. Kristensen. Berlin ; Heidelberg : Springer, 2009. xi, 384 stran Lok/dislok | Absenčně | Vypůjčené | Rezervované | Prezenčně | Nedostupné | Pouze k rezervaci |
---|---|---|---|---|---|---|
PRF | 0 | 0 | 0 | 1 | 0 | 0 |