Back to Search
Start Over
Contraction of the ITCPN state space.
- Source :
- ENTCS: Electronic Notes in Theoretical Computer Science; Jun2002, Vol. 65 Issue 6, p1-15, 15p
- Publication Year :
- 2002
-
Abstract
- We show here how to contract the ITCPN state space. We distinguish three levels of contraction that translate the ITCPN state space into one well timed and coherent timed automation. We consider here only equivalence based on delays. To achieve more contractions, the equivalence based on delays can be completed with equivalence based on colours as shown in [4]. [Copyright &y& Elsevier]
Details
- Language :
- English
- ISSN :
- 15710661
- Volume :
- 65
- Issue :
- 6
- Database :
- Supplemental Index
- Journal :
- ENTCS: Electronic Notes in Theoretical Computer Science
- Publication Type :
- Periodical
- Accession number :
- 14742655
- Full Text :
- https://doi.org/10.1016/S1571-0661(04)80466-3