10.3321/j.issn:0254-4164.1998.z1.006
PN机
本文提出PN机的几种范式,讨论它们的串语言与步语言之间的关系,提出拟行为有限状态机概念,给出PN语言的一个拟正规性刻划,从而表明一般Petri网模型的局限性,以及引入PN机模型的必要性.本文结果对于PN机理论框架的建立起到奠基作用.
Petri网、PN机、语言、拟正规性
21
TP301(计算技术、计算机技术)
国家自然科学基金69673039,69635030;中国博士后科学基金;煤炭部跨世纪学术带头人基金;山东省科学基金;山东省计划联合资助项目
2005-08-25(万方平台首次上网日期,不代表论文的发表时间)
共6页
35-40