| Autor: |
Li-chen ZHANG, Xiao-ming WANG, Wen-yang DOU |
| Jazyk: |
čínština |
| Rok vydání: |
2013 |
| Předmět: |
|
| Zdroj: |
Tongxin xuebao, Vol 34, Pp 157-164 (2013) |
| Druh dokumentu: |
article |
| ISSN: |
1000-436X |
| DOI: |
10.3969/j.issn.1000-436x.2013.03.020 |
| Popis: |
In order to improve the accuracy of the termination an lysis on ECA rules, a novel representation model (EPN, extended Petri net) of ECA rules was built. Based on the EPN, an effective termination decision algorithm was discussed and proposed. By using plenty of information about the rule characteristics in EPN, the proposed termination algorithm could comprehensively analyze the influence on the termination analysis. The theoretical analysis and experimental re-sults show that the proposed algorithm has higher accuracy and lower time complexity. |
| Databáze: |
Directory of Open Access Journals |
| Externí odkaz: |
|
