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...
Сохранить в:
| Опубликовано в:: | Computación y Sistemas |
|---|---|
| Главный автор: | |
| Формат: | Artigo |
| Язык: | Inglês |
| Опубликовано: |
Instituto Politécnico Nacional
2006
|
| Предметы: | |
| Online-ссылка: | https://www.redalyc.org/articulo.oa?id=61500203 |
| Метки: |
Нет меток, Требуется 1-ая метка записи!
|