摘要
讨论了 Petri网可达树的构造方法 ,给出了相应的算法和实现技术 ,对基于
This paper discusses the method of constructing Petri net's reachability tree, and introduces the algorithm and implementation technology It will be of certain reference value to analyze the dynamic properties based on Petri net's reachability tree for concurrent systems
出处
《广西工学院学报》
CAS
2003年第1期31-34,共4页
Journal of Guangxi University of Technology
基金
广西区科技厅自然科学基金 (桂科自 0 0 660 0 6)资助
