DSpace DSpace UPC
 English   Castellano   Català  

Treballs academics UPC >
Facultat d'Informàtica de Barcelona >
Enginyeria Informàtica (Pla 2003) >

Empreu aquest identificador per citar o enllaçar aquest ítem: http://hdl.handle.net/2099.1/9572

Arxiu Descripció MidaFormat
65710.pdf4,6 MBAdobe PDFVeure/Obrir

Títol: Una eina per verificar propietats en xarxes de petri usant àlgebra lineal
Autor: Royuela Alcazar, Sara
Tutor/director/avaluador: Carmona Vargas, Josep Veure Producció científica UPC
Universitat: Universitat Politècnica de Catalunya
Càtedra /Departament: Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
Matèries: Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors
Àrees temàtiques de la UPC::Matemàtiques i estadística::Àlgebra::Àlgebra lineal i multilineal
Algebras, Linear
Petri nets
Àlgebra lineal
Xarxes de Petri
Data: 1-jul-2010
Tipus de document: Master thesis (pre-Bologna period)
Descripció: El codi de l'eina desenvolupada no es pot pujar per aquesta aplicació. Els interessats s'han de possar en contacte amb l'autor.
URI: http://hdl.handle.net/2099.1/9572
Condicions d'accés: Open Access
Apareix a les col·leccions:Enginyeria Informàtica (Pla 2003)
Comparteix:



SFX Query

Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets.

Per a qualsevol ús que se'n vulgui fer no previst a la llei, dirigiu-vos a: sepi.bupc@upc.edu

 

Valid XHTML 1.0! Programari DSpace Copyright © 2002-2004 MIT and Hewlett-Packard Comentaris
Universitat Politècnica de Catalunya. Servei de Biblioteques, Publicacions i Arxius