Search results
- 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 book
- 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 book