Petri网和Z语言的集成形式化方法  

Formal Method Integrating Petri Nets and Z

作　　者：胡劲松[1] 赵保华[1] 郭雄辉[1] 屈玉贵[1] 

机构地区：[1]中国科学技术大学计算机系,安徽合肥230027

出　　处：《小型微型计算机系统》2004年第8期1450-1453,共4页Journal of Chinese Computer Systems

基　　金：国家自然科学基金重大研究计划项目 ( 90 10 40 10 )资助 ;国家自然科学基金科学部主任基金项目( 60 2 410 0 4)资助 ;教育部博士点基金项目 ( 2 0 0 0 0 3 5 80 2 ) ;国家 863计划项目 ( 2 0 0 1AA112 0 62; 2 0 0 1AA12 10 16)的资助

摘　　要：随着各具特色的形式化方法不断涌现 .研究各种形式化模型之间的关系 ,并且通过组合、集成的方法 ,综合它们的特性 ,不仅在理论上 ,而且在实践中都具有非常重大的意义 .将集成 Petri网和 Z语言两种形式化方法 ,使它们能够保留各自的优点 ,并互相弥补不足 ,进而形成一种新的、更加全面的形式化方法Along with various formal methods have been developed, It is not only theoretically interesting but also practically useful to investigate the relationships between the different formal methods and to integrate them to achieve their combined strength. In this paper, we integrate Petri nets with Z, maintaining their strong points and getting over their shortcomings. Moreover, we can get a new formal method: PZ nets.

关 键 词：形式化方法 PETRI网 Z语言 PZ网 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]