1. Petri nets for system engineering
Petri nets for system engineering : a guide to modeling, verification, and applications / Claude Girault, Rüdiger Valk. Berlin ; Heidelberg ; New York : Springer Verlag, 2003. xvi, 607 s., 190 il. Lok/dislok | Absenčně | Vypůjčené | Rezervované | Prezenčně | Nedostupné | Pouze k rezervaci |
---|---|---|---|---|---|---|
PRF | 0 | 0 | 0 | 1 | 0 | 0 |