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
https://doi.org/10.1007/978-3-662-47967-4


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Çevrimiçi KütüphaneE-Kitap518487-1001ONLINEElektronik Kütüphane