作者:胡劲松; 赵保华; 郭雄辉; 屈玉贵形式化方法petri网z语言pz网
摘要:随着各具特色的形式化方法不断涌现.研究各种形式化模型之间的关系,并且通过组合、集成的方法,综合它们的特性,不仅在理论上,而且在实践中都具有非常重大的意义.将集成Petri网和Z语言两种形式化方法,使它们能够保留各自的优点,并互相弥补不足,进而形成一种新的、更加全面的形式化方法PZ网.
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
《小型微型计算机系统》(CN:21-1106/TP)是一本有较高学术价值的大型月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《小型微型计算机系统》杂志刊登文章的内容涵盖计算技术的各个领域(计算数学除外)。包括计算机科学理论、体系结构、计算机软件、数据库、网络与通讯、人工智能、多媒体、计算机图形与图像、算法理论研究等各方面的学术论文。
部级期刊
人气 230388 评论 65
人气 215069 评论 35
省级期刊
人气 213322 评论 71
北大期刊、统计源期刊
人气 193088 评论 73