Imagen de cubierta local
Imagen de cubierta local
Tipo: materialTypeLabelLibro de Reserva
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.

Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título. Ingresar para agregar etiquetas.
Valoración
    Valoración media: 0.0 (0 votos)
Existencias
Tipo de ítem Biblioteca actual Colección Signatura Copia número Estado Fecha de vencimiento Código de barras
Libro de Reserva 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.

para colocar un comentario.

Haga clic en una imagen para verla en el visor de imágenes

Imagen de cubierta local