Checking Untimed and Timed Linear Properties of the Interval Timed Colored Petri Net Model
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 bound...
Na minha lista:
| Publicado no: | Computación y Sistemas |
|---|---|
| Autor principal: | |
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
Instituto Politécnico Nacional
2006
|
| Assuntos: | |
| Acesso em linha: | https://www.redalyc.org/articulo.oa?id=61500203 |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|