Başlık:
Petri Net Synthesis
Yazar:
Badouel, Eric. author.
ISBN:
9783662479674
Basım Bilgisi:
1st ed. 2015.
Fiziksel Tanımlama:
XIII, 339 p. 140 illus., 1 illus. in color. online resource.
Seri:
Texts in Theoretical Computer Science. An EATCS Series,
İçerik:
Introduction -- Introduction to Elementary Net Synthesis -- Other Forms of the Synthesis Problem -- Algorithms of Elementary Net Synthesis -- Variations of Elementary Net Synthesis -- A Unified Theory of Net Synthesis -- The Linear Algebraic Structure of Regions -- Synthesis of P/T-Nets from Finite Initialized Transition Systems -- Synthesis of Unbounded P/T-Nets -- P/T-Nets with the Step Firing Rule -- Extracting Concurrency from Transition Systems -- Process Discovery -- Supervisory Control -- Design of Speed Independent Circuits -- Bibliography.
Tüzel Kişi Ek Girişi:
Elektronik Erişim:
https://doi.org/10.1007/978-3-662-47967-4Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
---|---|---|---|---|---|
Arıyor... | E-Kitap | 518487-1001 | XX(518487.1) | Arıyor... | Arıyor... |