Representation and termination analysis for ECA rules based on extended Petri net
Technical Report|更新时间:2024-06-05
|
Representation and termination analysis for ECA rules based on extended Petri net
Journal on CommunicationsVol. 34, Issue 3, Pages: 157-164(2013)
作者机构:
陕西师范大学 计算机科学学院,陕西 西安710062
陕西师范大学 计算机科学学院,陕西 西安710062
作者简介:
基金信息:
The National Natural Science Foundation of China(60773224);The National Natural Science Foundation of China(60970054);The National Natural Science Foundation of China(61173094);The Scientific Research Foundation of the Returned Overseas Chinese Scholars of State Education Ministry
Li-chen ZHANG, Xiao-ming WANG, Wen-yang DOU. Representation and termination analysis for ECA rules based on extended Petri net[J]. Journal on Communications, 2013, 34(3): 157-164.
DOI:
Li-chen ZHANG, Xiao-ming WANG, Wen-yang DOU. Representation and termination analysis for ECA rules based on extended Petri net[J]. Journal on Communications, 2013, 34(3): 157-164. DOI: 10.3969/j.issn.1000-436x.2013.03.020.
Representation and termination analysis for ECA rules based on extended Petri net