Mostrar el registro sencillo del ítem

Reparación de redes de Petri para satisfacer propiedades en CTL

dc.contributor.authorMartínez Araiza, Ulises
dc.date.accessioned2020-08-07T16:30:57Z
dc.date.available2020-08-07T16:30:57Z
dc.date.issued2014
dc.identifier.urihttps://repositorio.cinvestav.mx/handle/cinvestav/255
dc.formatpdf
dc.format.extentiv, 123 p. :28 cm.
dc.language.isospa
dc.publisherTesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara.
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0
dc.subject.classificationINGENIERÍA Y TECNOLOGÍA
dc.subject.otherPetri nets
dc.subject.otherDiscrete-time systems
dc.subject.otherComputer systems
dc.subject.otherDissertations, Academic
dc.titleReparación de redes de Petri para satisfacer propiedades en CTL
dc.typemasterThesis
dc.contributor.directorLópez Mellado, Luis Ernesto
dc.identificator7
dc.identifier.marc01720cam a2200361 a 4500
dc.coverage.placeofpublicationGuadalajara, Jalisco, México
dc.description.institutionCINVESTAV
dc.description.unidadUnidad Guadalajara
dc.thesis.areaTecnología y Ciencias de la Ingeniería
dc.thesis.degreedisciplineComputación.
dc.rights.accessopenAccess


Ficheros en el ítem

Thumbnail
Nombre:
SSIT0012823.pdf
Tamaño:
83.24Mb
Formato:
PDF
Ver/

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem

http://creativecommons.org/licenses/by-nc-nd/4.0
Excepto si se señala otra cosa, la licencia del ítem se describe como http://creativecommons.org/licenses/by-nc-nd/4.0