|
Title:
|
Una eina per verificar propietats en xarxes de petri usant àlgebra lineal
|
|
Author:
|
Royuela Alcázar, Sara
|
|
Other authors:
|
Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics; Carmona Vargas, Josep |
|
Abstract:
|
El codi de l'eina desenvolupada no es pot pujar per aquesta aplicació. Els interessats s'han de possar en contacte amb l'autor. |
|
Subject(s):
|
-À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 |
|
Rights:
|
|
|
Document type:
|
Bachelor Thesis |
|
Published by:
|
Universitat Politècnica de Catalunya
|
|
Share:
|
|
