10.3969/j.issn.1000-1220.2004.08.010
Petri网和Z语言的集成形式化方法
随着各具特色的形式化方法不断涌现.研究各种形式化模型之间的关系,并且通过组合、集成的方法,综合它们的特性,不仅在理论上,而且在实践中都具有非常重大的意义.将集成Petri网和Z语言两种形式化方法,使它们能够保留各自的优点,并互相弥补不足,进而形成一种新的、更加全面的形式化方法PZ网.
形式化方法、Petri网、Z语言、PZ网
25
TP311(计算技术、计算机技术)
国家自然科学基金90104010;国家自然科学基金60241004;高等学校博士学科点专项科研项目2000035802;国家高技术研究发展计划863计划2001AA112062,2001AA121016
2004-10-21(万方平台首次上网日期,不代表论文的发表时间)
共4页
1450-1453