SciELO - Scientific Electronic Library Online

 
vol.10 issue2An Algorithm for Computing Design Parameters of IFIR Filters with Low ComplexityA Comparative Evaluation of four Algorithms for Numeric Solution of the Deconvolution on Unidimensional Systems author indexsubject indexsearch form
Home Pagealphabetic serial listing  

Services on Demand

Journal

Article

Indicators

Related links

  • Have no similar articlesSimilars in SciELO

Share


Computación y Sistemas

Print version ISSN 1405-5546

Abstract

BOUCHENEB, Hanifa. Checking Untimed and Timed Linear Properties of the Interval Timed Colored Petri Net Model: Verificación de las propiedades lineales síncronas y asíncronas del Modelo de la Red de Petri Coloreado Intervalo Tiempo. Comp. y Sist. [online]. 2006, vol.10, n.2, pp.107-134. ISSN 1405-5546.

Este artículo se ocupa de la verificación de las propiedades lineales temporizadas y no temporizadas del modelo de redes de Petri coloreadas con intervalos temporizados. Este modelo puede simular otras redes de Petri coloreadas temporizadas y permite describir grandes y complejos sistemas en tiempo real. Nosotros proponemos contraer el espacio generalmente infinito, en un grafo que capture todas las propiedades lineales del modelo. El grafo resultante es finito, si y solamenti si, el modelo tiene límites (el conjunto de sus marcas accesibles es finito). En este caso, las propiedades lineales del modelo se pueden verificar en el grafo resultante, utilizando, por ejemplo, técnicas de comprobación del modelo lineal clásico.

Keywords : Métodos formales; comprobación modelo; modelos temporizados; red de Petri coloreada con intervalos temporizados; contracción del espacio del estado; propiedades lineares.

        · abstract in English     · text in English     · English ( pdf )

 

Creative Commons License All the contents of this journal, except where otherwise noted, is licensed under a Creative Commons Attribution License