Ubicación Física: 511.35 / H17d
Discrete, continuous, and hybrid Petri Nets / | |
Autor: | David , René. |
Otros Autores: | Hassane , Alla ( Autor ) . |
Pié de imprenta: | Berlin , Alemania : Springer , 2010 |
Edición: | 2nd edition. |
Descripción: | 550 páginas : ilustraciones; gráficas; 24 cm. |
ISBN: | 9783642424694. |
Tema(s): | |
Contenido: | 1. Bases or Petri Nets. -- 1.1 Basic Concepts. -- 1.2 Special Petri Nets. -- 1.2.2. Abbreviations and extensions. -- 1.3 Modeling of some concepts. -- 2. Properties of Petri Nets. -- 2.1 Presentatios of the main properties. -- 2.1.1 Notations and definitions. -- 2.1.2 bounded Petri Net, safe Petri Net. -- 2.1.3 Liveness and deadlock. -- 2.1.4 Conflicts. -- 2.1.5 Invariants. -- 2.2 Seeking the properties of Petri Nets. -- 2.2.1 Graph of marking and coverability root tree. -- 2.2.2 Linear algebra. -- 2.2.3 Reduction methods preserving some properties. -- 2.2.4 Other results. -- 2.2.5 Concluding remarks. -- 3. Non autonomous Petri Nets. -- 3.1 Introduction. -- 3.2 Synchronized Petri Nets. -- 3.2.1 Principle. -- 3.2.2 Iterated firing on ocurrence of an external event. -- 3.2.3 Properties of the Synchronized PNs. -- 3.3 Interpreted Petri Nets. -- 3.3.2 Interpretation algorithm of a control interpreted P. -- 3.3.3 Interpreted Petri Nets without outputs. -- 3.4 Timed Petri Nets. -- 4. Autonomous continuous and Hybrid Petri Nets. -- 4.1 Motivation. -- 4.2 Autonomous continuous Petri Nets. -- 4.3 Autonomous hybrid Petri Nets. -- 4.4 Properties of autonomous continuous and hybrid Petri Nets. -- 4.5 Extended hybrid Petri Nets. -- 5. Timed continuous Petri Nets. -- 5.1 Timed continuous Petri Nets. -- 5.1 Definition of the model. -- 5.2 Conflicts. -- 5.3 Speed calculation algorithms. -- 5.4 Properties. -- 6 Timed hybrid Petri Nets. -- 6.2 Algorithm. -- 6.3 Variants of the model. -- 6.4 Extended timed hybrid Petri Nets. -- 7. Hybrid Petri Nets with speeds depending on the C-Marking. -- 7.1 Approximation of timed discrete systems by VHPNs. -- 7.2 Asymptotic hybrid Petri Nets (AHPNs). -- 7.3 Other models. |
Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|---|
Libro de Reserva | Biblioteca Sede Principal | Colección Reserva | 511.35 / H17d (Navegar estantería(Abre debajo)) | Ej.1 | Disponible (Acceso Libre) | 21830 |
Incluye contenido
Incluye índice
De acuerdo a su observación a para fidelizarte como cliente premium, los inconvenientes organizacionales responden a compromisos adquiridos con los clientes de nuestro servicio Kids del cual demanda gran cantidad de tiempo y recursos.
1. Bases or Petri Nets. -- 1.1 Basic Concepts. -- 1.2 Special Petri Nets. -- 1.2.2. Abbreviations and extensions. -- 1.3 Modeling of some concepts. -- 2. Properties of Petri Nets. -- 2.1 Presentatios of the main properties. -- 2.1.1 Notations and definitions. -- 2.1.2 bounded Petri Net, safe Petri Net. -- 2.1.3 Liveness and deadlock. -- 2.1.4 Conflicts. -- 2.1.5 Invariants. -- 2.2 Seeking the properties of Petri Nets. -- 2.2.1 Graph of marking and coverability root tree. -- 2.2.2 Linear algebra. -- 2.2.3 Reduction methods preserving some properties. -- 2.2.4 Other results. -- 2.2.5 Concluding remarks. -- 3. Non autonomous Petri Nets. -- 3.1 Introduction. -- 3.2 Synchronized Petri Nets. -- 3.2.1 Principle. -- 3.2.2 Iterated firing on ocurrence of an external event. -- 3.2.3 Properties of the Synchronized PNs. -- 3.3 Interpreted Petri Nets. -- 3.3.2 Interpretation algorithm of a control interpreted P. -- 3.3.3 Interpreted Petri Nets without outputs. -- 3.4 Timed Petri Nets. -- 4. Autonomous continuous and Hybrid Petri Nets. -- 4.1 Motivation. -- 4.2 Autonomous continuous Petri Nets. -- 4.3 Autonomous hybrid Petri Nets. -- 4.4 Properties of autonomous continuous and hybrid Petri Nets. -- 4.5 Extended hybrid Petri Nets. -- 5. Timed continuous Petri Nets. -- 5.1 Timed continuous Petri Nets. -- 5.1 Definition of the model. -- 5.2 Conflicts. -- 5.3 Speed calculation algorithms. -- 5.4 Properties. -- 6 Timed hybrid Petri Nets. -- 6.2 Algorithm. -- 6.3 Variants of the model. -- 6.4 Extended timed hybrid Petri Nets. -- 7. Hybrid Petri Nets with speeds depending on the C-Marking. -- 7.1 Approximation of timed discrete systems by VHPNs. -- 7.2 Asymptotic hybrid Petri Nets (AHPNs). -- 7.3 Other models.
No hay comentarios en este titulo.