位置:成果数据库 > 期刊 > 期刊详情页
逻辑Petri网变迁使能的判定方法
  • ISSN号:1004-731X
  • 期刊名称:《系统仿真学报》
  • 时间:0
  • 分类:TP391.9[自动化与计算机技术—计算机应用技术;自动化与计算机技术—计算机科学与技术]
  • 作者机构:[1]山东科技大学信息科学与工程学院,青岛266510, [2]同济大学嵌入式系统与服务计算教育部重点实验室,上海200092
  • 相关基金:国家973计划项目(2010CB328101); 国家自然科学基金(60773034 90818023 60803032)
中文摘要:

逻辑Petri网(LPNs)能够描述和分析实时协同工作系统中批处理功能和传值不确定性。为了直接分析LPNs的性质,针对LPNs变迁的不确定性,定义了逻辑变迁向量集和变迁使能向量集,给出了一种向量匹配方法判断使能变迁。为应用LPNs建模分析实际问题奠定了理论基础。最后,通过一个例子,验证了论文分析方法的可行性。

英文摘要:

Batch processing function and passing value indeterminacy in cooperative systems can be described and analyzed by Logic Petri Nets(LPNs).To directly analyze the properties of LPNs,the concept of logical transition vector sets and transition enabling vector sets was proposed and a vector matching method was used to judge the enabled transitions in LPNs.A theoretical basis for modeling and analyzing practical problems was established using LPNs.Finally,the validity and reliability of the proposed method were illustrated by an example.

同期刊论文项目
期刊论文 23 会议论文 4 专利 2
期刊论文 41 会议论文 5 获奖 4
同项目期刊论文
期刊信息
  • 《系统仿真学报》
  • 北大核心期刊(2011版)
  • 主管单位:中国航天科工集团公司
  • 主办单位:北京仿真中心 中国仿真学会
  • 主编:李伯虎
  • 地址:北京市海淀区永定路50号院
  • 邮编:100039
  • 邮箱:simu-xb@vip.sina.com
  • 电话:010-88527147
  • 国际标准刊号:ISSN:1004-731X
  • 国内统一刊号:ISSN:11-3092/V
  • 邮发代号:82-9
  • 获奖情况:
  • 国内外数据库收录:
  • 美国化学文摘(网络版),荷兰文摘与引文数据库,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊(2004版),中国北大核心期刊(2008版),中国北大核心期刊(2011版),中国北大核心期刊(2014版)
  • 被引量:51729