共 50 条
- [33] A colored Petri net-based formal method for the design of central systems TWENTIETH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE (COMPSAC'96), PROCEEDINGS, 1996, 20 : 28 - 35
- [35] Fuzzy continuous Petri net-based approach for modeling immune systems NEURAL NETS, 2006, 3931 : 278 - 285
- [38] Transition Cover-Based Design of Petri Net Controllers for Automated Manufacturing Systems IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2014, 44 (02): : 196 - 208
- [39] Formal design methodology of Petri net controllers for automated manufacturing systems Xi'an Dianzi Keji Daxue Xuebao/Journal of Xidian University, 1995, 22 (05):