Contributions to the structural and symbolic analysis of place/transition nets, with applications to flexible manufacturing systems and asynchronous circuits
暂无分享，去创建一个
El marco general del trabajo
es el analisis de sistemas de
eventos discretos modelados mediante
redes de Petri, en particular
mediante redes lugar/transicion,
Se presentan contribuciones en
dos familias de tecnicas de analisis,
las llamadas estructurales y las
basadas en la generacion del conjunto de
estados alcanzables.
Dentro de las tecnicas de
analisis estructural, se han
desarrollado nuevos resultados en
los siguientes apartados: 1) la
utilizacion de objetos estructurales,
en particular de lugares
implicitos y cerrojos; 2) la utilizacion
de descripciones lineales del
conjunto de estados alcanzables,
el establecimiento de la
imposibilidad de obtener tales descripciones
en el caso general, y su
mejora; 3) el desarrollo de metodos
ad hoc para subclases de redes,
en particular para sistemas de
procesos secuenciales simples
lineales con recursos; 4) el estudio
de sistemas derivados de
dominios de aplicacion particulares,
como sistemas de fabricacion
flexible y circuitos asincronos.
En el ambito de las tecnicas
basadas en la generacion del
espacio de estados, se ha desarrollado
un marco general para la
aplicacion de tecnicas de model-checking
simbolico de formulas de
logica temporal de tiempo ramificado,
utilizando diagramas de
decisiones binarias como estructura
de datos. Asismo dichas
tecnicas se han aplicado al calculo
de objetos estructurales, al
analisis cunatitativo y a la sintesis
de sistemas. En este ultimo
punto, se han derivado tecnicas
para el control de sistemas de
eventos discretos, y tecnicas de
ayuda a la sintesis de circuitos
asincronos modelados mediante grafos de
transicion de senales.