收藏本站
《2005年全国开放式分布与并行计算学术会议论文集》2005年
收藏 | 手机打开
二维码
手机客户端打开本文

安全开放系统的Petri网模型

文静华  李祥  
【摘要】:Petri网具有图形化的直观性和数学的严谨性,非常适合进行复杂逻辑系统的描述与分析。分析了文献[1]提出的基于交易器的安全系统有限自动机模型的局限性,提出了新的基于有色Petri网的CPN模型分析方法,最后给出了文献[1]中实例对应的CPN模型。

手机知网App
【参考文献】
中国期刊全文数据库 前3条
1 秦志光,刘锦德;安全系统的有限自动机[J];电子科技大学学报;1996年01期
2 刘道斌,郭莉,白硕;一种新的安全协议验证方法[J];计算机研究与发展;2003年10期
3 唐雪飞;刘锦德;;开放系统中的服务交易[J];计算机科学;1995年04期
【共引文献】
中国期刊全文数据库 前10条
1 王海顺,吴鹏;工作流性能评价方法[J];安阳师范学院学报;2005年02期
2 薛景;;卫生监督管理信息系统工作流建模及分析[J];办公自动化;2008年14期
3 陈文明;高学东;;宝钢炼钢连铸物流仿真器的建模方法[J];宝钢技术;2009年05期
4 李军求,孙逢春,张承宁,张国忠;用CAD技术进行汽车底盘总布置设计方法的研究[J];车辆与动力技术;2004年02期
5 沈鹏;焦利明;杨建立;;基于Petri网的防空旅C4ISR系统决策组织结构[J];兵工自动化;2005年06期
6 吴圣义;吕永健;逯国亮;胡春林;;基于分层着色Petri网的飞机战伤抢修系统建模[J];兵工自动化;2007年05期
7 冯帆;孙德善;封会娟;索向军;;基于Petri网的单装备件需求量模型[J];兵工自动化;2008年07期
8 关成彬;段立;;Petri网在海军战役装备保障指挥中的应用[J];兵工自动化;2008年12期
9 梁旭斌;苏宪程;王景昌;赵前亮;;模糊petri网理论定量分析空间信息系统传输能力[J];兵工自动化;2009年08期
10 杨志华;刘顺利;刘己斌;;基于Petri网的防空兵群指挥信息结构建模分析[J];兵工自动化;2012年04期
中国重要会议论文全文数据库 前10条
1 黄勇;胡健生;李晴帆;肖文昌;;模糊Petri网在通信网络综合性能评价中的应用[A];第十届全国信号处理学术年会(CCSP-2001)论文集[C];2001年
2 程冬玲;朱永利;王新颖;;Petri网模型的程序代码转换[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
3 傅荣;刘超男;;面向对象系统分析与设计中动态模型的Petri网描述[A];1999中国控制与决策学术年会论文集[C];1999年
4 张峰;傅荣;辜建德;李茂青;;信息系统协同开发的Petri网研究[A];1999中国控制与决策学术年会论文集[C];1999年
5 董明峰;王中胜;李敏强;;ERP中动态企业模型和建模方法[A];2000中国控制与决策学术年会论文集[C];2000年
6 王宇;王以直;李敏强;;动态自适应工作流系统的建模研究[A];2000中国控制与决策学术年会论文集[C];2000年
7 王寿光;颜钢锋;;Petri网简化技术在死锁避免控制器设计中的应用[A];第二十四届中国控制会议论文集(下册)[C];2005年
8 唐立军;王小艺;王建中;;一种扩展随机有色Petri网及在防空作战建模中的应用[A];'2008系统仿真技术及其应用学术会议论文集[C];2008年
9 陈金峰;刘惠义;;基于着色Petri网的多Agent交互[A];2005年全国开放式分布与并行计算学术会议论文集[C];2005年
10 黄瑾;郭东强;;基于Petri网的协同工作流描述方法及建模[A];信息经济学与电子商务:第十三届中国信息经济学会学术年会论文集[C];2008年
中国博士学位论文全文数据库 前10条
1 刘心;基于Petri网的FMS建模及故障诊断方法研究[D];哈尔滨工程大学;2010年
2 徐小峰;面向船舶制造协同物流网络的资源优化研究[D];哈尔滨工程大学;2009年
3 刘天印;基于系统模拟的高校教师工作压力研究[D];华中科技大学;2010年
4 张志明;柔性制造系统死锁预防的Petri网控制器综合[D];浙江大学;2010年
5 刘思华;电网故障诊断方法的研究[D];山东大学;2010年
6 朱强;基于对等网络架构的新型控制系统研究与实现[D];上海大学;2011年
7 陶雪飞;陶瓷企业低碳制造系统模式及评估与建模方法[D];重庆大学;2010年
8 马洪;轨道交通枢纽动态换乘效率及网络客流研究[D];清华大学;2010年
9 朱俊;基于Petri网的Web服务组合的交互模型及其应用机理的研究[D];国防科学技术大学;2011年
10 白杨;航空物流系统分析及优化[D];南京航空航天大学;2010年
中国硕士学位论文全文数据库 前10条
1 钊红梅;工作流在网络管理系统中的应用[D];郑州大学;2010年
2 王佳慧;基于面向对象的随机Petri网图形建模与分析工具的开发[D];郑州大学;2010年
3 张茜;基于Petri网的网络脆弱性评估技术研究[D];哈尔滨工程大学;2010年
4 肖良清;基于时间Petri网的并行测试研究[D];长沙理工大学;2010年
5 常显斌;研发合作知识创新的资源分配研究[D];中国海洋大学;2010年
6 林洁;SRS-F01柔性制造教学系统的设计[D];苏州大学;2010年
7 陆洁;动态模糊Petri网理论及其应用研究[D];苏州大学;2010年
8 张微;多Agent在供应链销售系统中应用[D];河北工程大学;2010年
9 刘云;数字家庭无线射频协议的形式化分析与研究[D];华东理工大学;2011年
10 符海波;基于Petri网的数字家庭IPv4-IPv6转换建模与分析[D];华东理工大学;2011年
【相似文献】
中国期刊全文数据库 前10条
1 朱征宇,王术,赵银春;基于矩阵模型表示的有限自动机极小化方法[J];计算机工程与应用;2004年35期
2 李沛武;基于状态空间等价类的有色Petri网特性验证[J];计算机工程与应用;2003年11期
3 鲍丰;关于弱可逆有限自动机延迟步数分解的两个结果[J];计算机学报;1993年08期
4 袁永升;兰亚坤;;有限自动机的逻辑流程图分析法[J];东北师大学报(自然科学版);1993年03期
5 王恺,靳简明,王庆人;西文OCR后处理中的有限自动机模型[J];计算机工程与应用;2004年23期
6 周德玉;有限自动机的变换半群和它识别的信息[J];重庆大学学报(自然科学版);1989年01期
7 彭召意,许中华,蒋伟进,杨伟丰;一种基于有限自动机的多线程软件设计方法[J];福建电脑;2004年04期
8 宋安华;柔性制造系统实时调度的有色Petri网和状态方程模型[J];计算机学报;1991年11期
9 朱云飞,张衡,罗铸楷;有限自动机的线性化[J];湘潭大学自然科学学报;1999年01期
10 周晔,黄永忠,郭金庚;类信息的提取技术及应用[J];计算机应用研究;2001年09期
中国重要会议论文全文数据库 前10条
1 文静华;李祥;;安全开放系统的Petri网模型[A];2005年全国开放式分布与并行计算学术会议论文集[C];2005年
2 黎中文;张来顺;肖健鹏;;改进的UIO序列生成算法[A];计算机研究新进展(2010)——河南省计算机学会2010年学术年会论文集[C];2010年
3 区汝就;;有限自动机在数字逻辑电路设计中的应用[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
4 马华东;胡琴芬;谢卫星;;基于策略的小额支付安全系统[A];2003’中国通信学会无线及移动通信委员会学术年会论文集[C];2003年
5 陶惠良;杨正球;;基于Struts+Spring的易维护软件流程设计与实现[A];2009年中国高校通信类院系学术研讨会论文集[C];2009年
6 苗洁君;王克;;密码模块的形式化设计和验证研究[A];第二十一次全国计算机安全学术交流会论文集[C];2006年
7 董聪;;随机DEDS的模型体系与算法结构(Ⅰ)[A];1998中国控制与决策学术年会论文集[C];1998年
8 唐超;刘辰;杨正球;;使用多层迭代分析和分类网页文档的方法[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
9 鲁志兵;胡金柱;胡燕;焦金丹;舒江波;;门户网自助系统的扩展有色Petri网建模与分析[A];2006年全国开放式分布与并行计算机学术会议论文集(三)[C];2006年
10 蒋志明;丁利华;;离散事件动态系统的代数特征[A];1994中国控制与决策学术年会论文集[C];1994年
中国重要报纸全文数据库 前10条
1 周颂;容灾备份:一汽-大众的安全系统[N];中国计算机报;2002年
2 子育;RFID输血安全系统[N];网络世界;2006年
3 云文;TST信息安全平台创造“真安全”[N];中国国门时报;2007年
4 本报记者 曾东君;安全电脑异军突起[N];中国电脑教育报;2007年
5 晓伟;安全方案需个性化[N];计算机世界;2006年
6 孙红英;并购中保护系统安全的六种方式[N];网络世界;2007年
7 张琳;安全的“运筹”学[N];网络世界;2007年
8 北京启明星辰信息技术有限公司 翟胜军;企业安全平台的三维花瓶模型[N];中国计算机报;2008年
9 本版编辑Robert L. Mitchell 易水 编译;大卡车上跑IT[N];计算机世界;2008年
10 窦彦莉;吴量福:勇闯美国的CIO[N];中国计算机报;2008年
中国博士学位论文全文数据库 前10条
1 王鸿吉;可逆有限自动机的结构与分解[D];中国科学院研究生院(软件研究所);2005年
2 胡瑜;基于有色Petri网理论的并行自动测试系统建模研究[D];电子科技大学;2003年
3 张征;分子下推自动机理论及应用研究[D];华中科技大学;2007年
4 柯飞帆;面向分布应用的工作流管理系统研究与实现[D];南京航空航天大学;2006年
5 黄勇;安全系统形式化设计与分析研究[D];浙江大学;2009年
6 吴维敏;离散事件系统的Petri网控制器综合[D];浙江大学;2002年
7 孙玉强;并行语法分析中几类算法的设计与研究[D];西安电子科技大学;2008年
8 朱茂盛;XML路径表达式优化及其查询和过滤计算方法[D];中国科学院研究生院(计算技术研究所);2004年
9 李素建;汉语组块计算的若干研究[D];中国科学院研究生院(计算技术研究所);2002年
10 秦小虎;城市交通紧急事件处理与安全系统模型及应用研究[D];重庆大学;2005年
中国硕士学位论文全文数据库 前10条
1 戴礼豪;通用代码安全系统的研究[D];福州大学;2004年
2 辛勤;网络会计信息安全系统的研究[D];对外经济贸易大学;2006年
3 翁福利;直觉模糊有限自动机及其乘积研究[D];电子科技大学;2012年
4 刘跃霞;语言半环上的有限自动机的推广[D];太原科技大学;2010年
5 林添荣;量子有限自动机等价性判定研究[D];福建师范大学;2011年
6 张坤;两类格值有限自动机的性质及其最小化问题[D];四川师范大学;2012年
7 冯娜;模糊有限自动机与基于量子逻辑的自动机的一些拓扑性质[D];四川师范大学;2012年
8 任宏宇;基于有限自动机的软件行为模型评价方法研究[D];北京理工大学;2011年
9 陈霄凯;有限自动机(FA)在测控程序自动生成中的应用研究[D];华北电力大学(河北);2004年
10 孟青慧;黑白图像压缩的自动机方法[D];太原科技大学;2011年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026