期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

自由选择网的同步合成运算

下载PDF

导出

摘要定义了自由选择网ＦＣ网（ｆｒｅｅｃｈｏｉｃｅｎｅｔｓ）的同步合成运算，给出了ＦＣ网同步合成网为ＦＣ网或ＡＣ网（ａｓｙｍｍｅｔｒｉｃｃｈｏｉｃｅｎｅｔ）的两个充分必要条件．这些结果可为ＦＣ网系统合成的静态和动态特性考察提供有效途径．

作者杜玉越曹德范李孝忠胥保华

机构地区聊城师范学院计算机科学系聊城工业学校

出处《聊城师院学报（自然科学版）》 1999年第1期21-23,30,共4页 Journal of Liaocheng Teachers University(Natural Science Edition)

关键词 PETRI网自由选择网同步合成

分类号 TP393 [自动化与计算机技术—计算机应用技术]

引文网络
相关文献

参考文献4

1杜玉越,李孝忠.S-组合Petri网的活性分析与实现[J].计算机学报,1998,21(8):747-752. 被引量：24
2甄强,陆维明.论非对称选择网的活性[J].软件学报,1998,9(5):354-359. 被引量：9
3蒋昌俊,闫春钢.同步合成网的进程特性研究[J].电子学报,1997,25(2):57-60. 被引量：12
4陆维明.C/E系统的交替行为特性[J].中国科学（A辑）,1993,23(2):219-224. 被引量：5

二级参考文献4

1崔亚军,王君英.共享竞争择一资源Petri网的形式化设计方法[J].计算机学报,1993,16(10):730-738. 被引量：2
2王培良，东南大学学报，1995年，25卷，3A期，25页
3陆维明，中国科学.A，1988年，31卷，7期，776页
4吴哲辉.有界Petri网的活性和公平性的分析与实现[J].计算机学报,1989,12(4):267-278. 被引量：58

共引文献41

1许安国,赵义军.几类合成网的性能分析[J].系统仿真学报,2005,17(z1):38-43.
2庞善臣,蒋昌俊,孙萍,周长红.共享合成Petri网的性质分析[J].自动化学报,2004,30(6):944-948. 被引量：9
3罗时法.论区域经济合作发展战略[J].黔南民族师范学院学报,2005,25(2):26-29. 被引量：1
4曾庆田.Petri网语言的同步混排运算及在语言分析中的应用[J].系统工程学报,2005,20(5):492-496.
5李秀荣.浅析资产减值准备对企业会计数据的影响[J].科技情报开发与经济,2005,15(23):124-126. 被引量：1
6曾庆田.基于同步合成的Petri网基本进程段求解算法[J].微电子学与计算机,2006,23(6):9-12. 被引量：3
7夏传良,鞠彦兵,李盛恩.Petri网共享P型子网合成及其在系统设计中的应用[J].系统仿真学报,2007,19(2):355-360. 被引量：8
8焦莉,陆维明.基于共享位置的Petri网系统综合与保性[J].计算机学报,2007,30(3):352-360. 被引量：6
9王鹏伟,吴哲辉.同步及共享合成操作对Petri网汇合性质的保持性[J].系统仿真学报,2007,19(A01):21-25. 被引量：1
10王鹏伟,吴哲辉.几种满足汇合性质的Petri网子类[J].计算机工程,2009,35(4):44-47. 被引量：1

1王晓悦,方贤文,曹芮浩.基于Petri网行为轮廓从事件日志中挖掘隐变迁的方法[J].安徽理工大学学报（自然科学版）,2016,36(3):13-19.
2王文德,杜玉越,左风朝,李孝忠.自由选择网的共享合成运算[J].聊城师院学报（自然科学版）,2000,13(1):19-22.
3郝克刚,郭小群,李向宁.Pi^+演算及其对Petri网的表达[J].计算机学报,2011,34(2):193-203. 被引量：6
4林剑峰.工作流网的结构正确性验证[J].中小企业管理与科技,2009(34):290-290.
5李向宁,郝克刚,郭小群.k-选择网和Pi演算的表达能力[J].计算机学报,2013,36(6):1261-1266.
6胡晓静,刘士喜,王涛.一种Web服务组合模型合理性验证方法[J].湖北工程学院学报,2015,35(3):16-20. 被引量：1
7徐树维,季超.Petri网基本模型、子类分析及应用[J].福建电脑,2006,22(3):80-81. 被引量：1
8李强,刘亚军.基于Petri网模型的工作流实例迁移算法[J].计算机工程与设计,2007,28(21):5086-5087. 被引量：1
9夏传良,陆维明.论Petri网链路合成[J].系统工程理论与实践,2005,25(6):19-26. 被引量：6
10杜淑楠,章宁,王鲁滨.工作流模型正确性验证过程中的模型简化问题[J].计算机工程,2005,31(B07):110-111. 被引量：2

聊城师院学报（自然科学版）

1999年第1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部