文献类型：期刊文章

作　　者：曾庆田[1] 吴哲辉[2] 马炳先[1]

机构地区：[1]中国科学院计算机技术研究所智能信息处理重点实验室,北京100080 [2]山东科技大学计算机科学与技术系,山东泰安271019

出　　处：《小型微型计算机系统》

基　　金：国家自然科学基金 ( 60 173 0 5 3 ;60 2 740 3 9)资助 ;山东省中青年科学家科研奖励基金 ( 0 2 BS0 69)资助

年　　份：2004

卷　　号：25

期　　号：4

起止页码：654-658

语　　种：中文

收录情况：AJ、BDHX、BDHX2000、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、IC、INSPEC、JST、RCCSE、SCOPUS、ZGKJHX、核心刊

摘　　要：Petri网的语言和进程都是网系统行为的一种有效的描述手段 .对应的进程表达式和语言表达式给出了系统全体行为的约束描述 .本文首先对 Petri网的进程表达式进行了类型的划分并给出了相应的代数判定依据 ,随后证明了 Petri网的进程表达式与语言表达式的类型一致性 ,由此给出了由进程表达式求取语言表达式的算法 ,为基于 Petri网语言 (尤其是无界 Petri网 )

关 键 词：PETRI网 语言 进程表达式  进程网系统  属型  算法  

分 类 号：TP391]