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