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




Related links

  • Have no similar articlesSimilars in SciELO


Computación y Sistemas

On-line version ISSN 2007-9737Print version ISSN 1405-5546


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 2007-9737.

This paper deals with verification of timed and untimed linear properties of the Interval Timed Colored Petri Net model. This model can simulate other timed colored Petri nets and allows describing large and complex real-time systems. We propose here to contract its generally infinite state space into a graph that captures all linear properties of the model. The resulting graph is finite iff, the model is bounded (the set of its reachable markings is finite). In this case, linear properties of the model can be verified on the graph using, for example, the classical linear model checking techniques.

Keywords : Formal methods; model checking; timed models; timed colored Petri net; state space contraction; linear properties.

        · abstract in Spanish     · 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