Resumen de Una aproximación a las Redes de Petri estocásticas
ASOCIADO A UNA RED DE PETRI ESTOCASTICA (RPE), QUE SE MODELA UTILIZANDO UN PROCESO PUNTUAL MULTIVARIANTE, PUEDE CONSIDERARSE EL PROCESO NO NEGATIVO "SUMA DE MARCAS", SI ESTE PROCESO SE PARA CUANDO ALCANZA UN CONJUNTO DETERMINADO DE ESTADOS B, SE PUEDE CARACTERIZAR LA LIMITACION EN MEDIA "HASTA ESE INSTANTE" UTILIZANDO SUPERMARTINGALAS. EN EL CASO MARKOVIANO (RPM), UNA EXTENSION NATURAL DEL CONCEPTO DE EXCESIVIDAD (B-EXCESIVIDAD) PERMITE CARACTERIZAR ESTA PROPIEDAD MEDIANTE LA EXISTENCIA DE UNA FUNCION B-EXCESIVA Y FINITA QUE MAYORA A LA FUNCION DE ESTADO. SE PROPORCIONA TAMBIEN UNA CONDICION NECESARIA Y OTRA SUFICIENTE PARA LA "SATURACION" DE UNA RPM. ESTAS CONDICIONES PUEDEN SER COMPROBADAS EFECTIVAMENTE EN SITUACIONES PRACTICAS. EN PARTICULAR, SE DEMUESTRA QUE NUESTRA CONDICION SUFICIENTE ES EQUIVALENTE A LAS CONDICIONES DE SATURACION YA CONOCIDAS PARA REDES DE JACKSON. POR ULTIMO, SE COMPRUEBA QUE EXISTE UN PROCESO PREVISIBLE (COMPENSADOR) ASOCIADO A UNA PONDERACION DEL MARCADO. PARA LAS RPM ESTE PROCESO ES CONTINUO Y LA DIFERENCIA ENTRE LA PONDERACION DEL MARCADO Y EL COMPENSADOR ES UNA MARTINGALA LOCAL. A PARTIR DE ESTA, PUEDE CONSTRUIRSE UNA SUCESION DE MARTINGALAS LOCALES QUE CONVERGEN EN LEY A UNA MEDIDA DE WIENER.
UTILIZANDO ESTE RESULTADO, CUANDO EL COMPENSADOR ES DETERMINISTICO, SE PUEDEN CALCULAR INTERVALOS DE CONFIANZA PARA EL SUPREMO DE LA PONDERACION DE MARCAS.
