10.3778/j.issn.1673-9418.2010.11.001
操作表达式的Petri网表示
物理对象、操作表达式、Petri网、语义公理
4
TP311(计算技术、计算机技术)
The National Natural Science Foundation of China under Grant No.60803014;the National Grand Funda-mental Research 973 Program ofChina under Grant No.2010CB328 103国家重点基础研究发展规划973;the National High-Tech Research and Development Plan of China under Grant No.2006AA012160国家高技术研究发展计划863;the National Research Foundation for Doctoral Program of Ministry of Education of China under Grant No.20080001 1017国家教育部博士
2010-12-07(万方平台首次上网日期,不代表论文的发表时间)
共15页
961-975