Petri Net Synthesis
tarafından
Badouel, Eric. author.
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.
Yazar Ek Girişi
:
Bernardinello, Luca.
Darondeau, Philippe.
Tüzel Kişi Ek Girişi
:
SpringerLink (Online service)
Elektronik Erişim
:
| Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | [[missing key: search.ChildField.HOLDING]] | Durumu/İade Tarihi |
|---|
| Çevrimiçi Kütüphane | E-Kitap | 518487-1001 | ONLINE | | Elektronik Kütüphane |