多出口Petri网与Petri网的等价性

THE EQUIVALENCY OF MULTI-EXIT Petri NET AND Petri NET

下载PDF

导出

摘要 1.引言为了便于描述程序的控制结构,文[1,2]引入了多出口Petri网的概念,并指出,在一定意义下,多出口Petri网与一般Petri网是等价的。本文旨在从理论上讨论这两个概念的等价性,并给出严格的证明。

作者郝克刚段振华

机构地区西北大学

出处《计算机学报》 EI CSCD 北大核心 1989年第5期389-393,共5页 Chinese Journal of Computers

基金国家自然科学基金

关键词 PETRI网等价性程序设计

参考文献2

1冯琴荣.粗糙集的期望表示[J].山西师范大学学报（自然科学版）,2007,21(2):24-29. 被引量：1
2石树刚,郑振楣,吕美玲.SQL复杂查询到关系代数查询等价性的转换算法[J].计算机研究与发展,1991,28(11):18-25. 被引量：1
3宋柔.RC计算模型及其两种执行方式的等价性[J].计算机研究与发展,1989,26(11):31-35.
4袁修久,张文修.决策表的分布约简和严凸函数下约简的等价性[J].系统工程,2003,21(5):5-7. 被引量：10
5王道林,刘继勇.加权信息系统及其知识划分粒度表示[J].泰山学院学报,2014,36(6):59-63.
6王贵珍.A Note on Trace Polynomial[J].Tsinghua Science and Technology,2007,12(4):479-484.
7史志才,王益涵,赵敏媛.知识的表示及应用[J].上海工程技术大学学报,2012,26(1):80-83.
8WANG Xiaoming.A Regular Fuzzy Tree Grammar and Its Minimized Algorithm[J].Chinese Journal of Electronics,2007,16(2):193-197. 被引量：1
9杨冀林.函数渐进界的性质研究[J].制造业自动化,2011,33(2):183-185. 被引量：1
10杭后俊.关于多值依赖的几点注记[J].安庆师范学院学报（自然科学版）,2005,11(3):106-108.

计算机学报

1989年第5期

内容加载中请稍等...