一种扩展Petri网及其应用研究

来源 :西安电子科技大学学报 | 被引量 : 0次 | 上传用户:liyan2006
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于Petri网,提出了离散事件系统建模,分析与控制的一种新模型———控制和数据Petri网(CDPN).给出了CDPN形式定义,发射规则.研究了基于工业控制计算机和可编程序逻辑控制器的控制系统CDPN模型的设计步骤和方法,为控制系统设计的最终确认提供了形式化的分析手段和依据.最后给出了该方法在立体停车库控制系统设计中的应用.
其他文献
2003年12月,云南省节能技术服务中心依法对昆明焦化制气厂节能工作情况实施了节能监察.监察主要围绕该厂贯彻执行国家和省节能法规、方针、政策的情况,能源管理基础情况,主要
在经济日益全球化和市场化的国际环境下,随着信息技术在金融领域的广泛应用,国际金融市场发展势头迅猛,国际资本的流动速度不断加快,各国政府越来越关注本国金融服务业的发展。金
结合数据挖掘和专家系统技术解决主机恶意代码检测问题,提出一个基于行为的恶意代码检测系统。数据挖掘算法采用改进的序列模式挖据算法——Prenxspan,该算法用简约投影数据库
2008年下半年,美国次贷危机愈演愈烈,演变成了全球性的金融危机。美国国内各类金融产品市场遭受了前所未有的打击与挫折。同时,金融市场的动荡通过资金、信用和市场预期等渠
资本账户对外开放是我国经济改革的重要组成部分,更是人民币国际化成为国际储备货币的前提条件。如何渐进有次序的开放我国的资本账户是一个非常重要的问题。对于经常账户和资
为适应社会主义市场经济发展的要求,促进环保产品质量的提高,原国家质量技术监督局、国家经济贸易委员会联合发布的“关于认真贯彻<中华人民共和国质量法>推进环保产品认证工
根据《商务印书馆图书目录(1897—1949)》一书所收录的英文书目,1949年前商务印书馆出版了714种英文图书,建立起从学习读物、大中小学教材、字典辞典到学术论著等全方位英文出
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
随着市场竞争激烈程度的加剧,研究与开发活动已经成为企业赖于生存和发展的生命线。由于我国企业投入的研发资金在逐年增加,R&D信息成为企业财务报表中不可缺少的一部分。企