Universidad Nacional Autónoma de México
Facultad de Ingeniería. Posgrado
Catálogo de la Biblioteca "Dr. Enzo Levi”

Su búsqueda recuperó 9 resultados.

Ordenar
Resultados
Dynamic analysis of Petri net-based discrete systems / Andrei Karatkevich

por Karatkevich, Andrei [autor].

Series Lecture notes in control and information sciences ; 356Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Berlin : Springer Verlag, c2007Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: TJ223.M53 K36.

Elements of distributed algorithms : modeling and analysis with Petri nets / Wolfgang Reisig

por Reisig, Wolfgang, 1950- [autor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Berlin ; New York : Springer Verlag, c1998Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: QA76.9D5 R4917, ...

Modeling and control of discrete-event dynamical systems : with Petri nets and other tool / B. Hrúz and M.C. Zhou

por Hrúz, B [autor] | Zhou, MengChu [colaborador].

Series Advanced textbooks in control and signal processingTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: London : Springer Verlag, c2007Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: T57.6 H78.

Modeling and simulation of distributed systems / Alexander Kostin, Ljudmila Ilushechkina

por Kostin, Alexander [autor] | Ilushechkina, Ljudmila [autor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Singapore : World Scientific, c2010Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9D5 K67.

Modelling with generalized stochastic Petri nets / M. Ajmone Marsan ... [y otros.]

por Ajmone Marsan, M [colaborador].

Series Wiley series in parallel computingTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Chichester : J. Wiley, c1995Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9D5 M64.

Petri nets for systems engineering : a guide to modeling, verification, and applications / Claude Girault, Rüdiger Valk

por Girault, Claude [autor] | Valk, Rüdiger, coaut.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : Springer Verlag, 2003Disponibilidad: No disponible para préstamo a domicilio:Libros: Prestado (1).

Supervisory control of concurrent systems : a Petri net structural approach / Marian V. Iordache, Panos J. Antsaklis

por Iordache, Marian Valentin [autor] | Antsaklis, Panos J [autor].

Series Systems and controlTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Boston : Birkhäuser Verlag, c2006Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: TJ222 I67.

Supervisory control of discrete event systems using Petri nets / by John O. Moody, Panos J. Antsaklis

por Moody, John O [autor] | Antsaklis, Panos J [autor].

Series The Kluwer international series on discrete event dynamic systems ; 8Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Boston : Kluwer Academic, c1998Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: TJ222 M66.

Verification of systems and circuits using LOTOS, Petri Nets, and CCS / by Michael Yoeli and Rakefet Kol

por Yoeli, Michael, 1917- [autor] | Kol, Rakefet [autor].

Series Wiley series on parallel and distributed computingTipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Hoboken, New Jersey : Wiley-Interscience, c2008Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: TK7874.58 Y64.

Páginas
¿No encuentras lo que estás buscando?


Universidad Nacional Autónoma de México 

Biblioteca "Dr. Enzo Levi” Conjunto sur, Edificio de Posgrado de la Facultad de Ingeniería

©2024 Dirección General de Bibliotecas y Servicios Digitales de Información, UNAM

Aviso de Privacidad