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:
| Udgivet i: | Computación y Sistemas |
|---|---|
| Hovedforfatter: | |
| Format: | Artigo |
| Sprog: | Inglês |
| Udgivet: |
Instituto Politécnico Nacional
2006
|
| Fag: | |
| Online adgang: | https://www.redalyc.org/articulo.oa?id=61500203 |
| Tags: |
Ingen Tags, Vær først til at tagge denne postø!
|