Vytisknout
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 |