Metodología para la simulación de redes de Petri de alto nivel temporizadas

El objetivo de este trabajo es obtener un algoritmo que extraiga el máximo paralelismo de una red de Petri de alto nivel temporizada, con la intención de disminuir su tiempo de ejecución, y garantizando unos resultados correctos si mantienen invariantes las relaciones de causalidad existentes entre los disparos. Se han evaluado diferentes algoritmos de distribución de procesos heurísticos con el fin de facilitar la implantación de esta metodología en un sistema multiprocesador.
 
The aim of this work is to achieve an algorithm that removes the maximum parallelism of a Petri net high level timer, with the purpose of decreasing its runtime, and assuring correct results if maintaining invariant the causal relationships that exist between shots. It has been evaluated different distribution algorithms of heuristic process with the purpose of facilitating the implantation of this methodology in a multiprocessor system. 

Escritor
Colección
Tesis Doctorales
Materia
Ingeniería de las comunicaciones/las telecomunicaciones
Idioma
  • Castellano
EAN
9788495286086
ISBN
978-84-95286-08-6
Ancho
1,2 cm
Alto
1,8 cm
Edición
1
Fecha publicación
11-11-1999

Precio

Microfichas
6,00 €

Libros relacionados