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...
Sparad:
| I publikationen: | Computación y Sistemas |
|---|---|
| Huvudupphov: | |
| Materialtyp: | Artigo |
| Språk: | Inglês |
| Utgiven: |
Instituto Politécnico Nacional
2006
|
| Ämnen: | |
| Länkar: | https://www.redalyc.org/articulo.oa?id=61500203 |
| Taggar: |
Inga taggar, Lägg till första taggen!
|