|
|||||
|
|
Property analysis of logic Petri nets by marking reachability graphs |
|
| Authors: | Yuyue DU Yuhui NING |
| Affiliation: | College of Information Science and Engineering, Shandong University of Science and Technology, Qingdao 266590, China |
| Abstract: | logic Petri nets, enabled condition, reachable marking graph, fairness, reversibility |
| Keywords: | logic Petri nets enabled condition reachable marking graph fairness reversibility |
| 本文献已被 维普 等数据库收录！ | |