Representation and termination analysis for ECA rules based on extended Petri net
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 characteri...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | zho |
| Published: |
Editorial Department of Journal on Communications
2013-03-01
|
| Series: | Tongxin xuebao |
| Subjects: | |
| Online Access: | http://www.joconline.com.cn/zh/article/doi/10.3969/j.issn.1000-436x.2013.03.020/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1841539835251130368 |
|---|---|
| author | Li-chen ZHANG Xiao-ming WANG Wen-yang DOU |
| author_facet | Li-chen ZHANG Xiao-ming WANG Wen-yang DOU |
| author_sort | Li-chen ZHANG |
| collection | DOAJ |
| description | 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. |
| format | Article |
| id | doaj-art-bcc6741cee234969b0c048711f0bd0a0 |
| institution | Kabale University |
| issn | 1000-436X |
| language | zho |
| publishDate | 2013-03-01 |
| publisher | Editorial Department of Journal on Communications |
| record_format | Article |
| series | Tongxin xuebao |
| spelling | doaj-art-bcc6741cee234969b0c048711f0bd0a02025-01-14T06:34:54ZzhoEditorial Department of Journal on CommunicationsTongxin xuebao1000-436X2013-03-013415716459671035Representation and termination analysis for ECA rules based on extended Petri netLi-chen ZHANGXiao-ming WANGWen-yang DOUIn 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.http://www.joconline.com.cn/zh/article/doi/10.3969/j.issn.1000-436x.2013.03.020/ECA rulePetri nettermination analysisextended Petri netmodel representation |
| spellingShingle | Li-chen ZHANG Xiao-ming WANG Wen-yang DOU Representation and termination analysis for ECA rules based on extended Petri net Tongxin xuebao ECA rule Petri net termination analysis extended Petri net model representation |
| title | Representation and termination analysis for ECA rules based on extended Petri net |
| title_full | Representation and termination analysis for ECA rules based on extended Petri net |
| title_fullStr | Representation and termination analysis for ECA rules based on extended Petri net |
| title_full_unstemmed | Representation and termination analysis for ECA rules based on extended Petri net |
| title_short | Representation and termination analysis for ECA rules based on extended Petri net |
| title_sort | representation and termination analysis for eca rules based on extended petri net |
| topic | ECA rule Petri net termination analysis extended Petri net model representation |
| url | http://www.joconline.com.cn/zh/article/doi/10.3969/j.issn.1000-436x.2013.03.020/ |
| work_keys_str_mv | AT lichenzhang representationandterminationanalysisforecarulesbasedonextendedpetrinet AT xiaomingwang representationandterminationanalysisforecarulesbasedonextendedpetrinet AT wenyangdou representationandterminationanalysisforecarulesbasedonextendedpetrinet |