基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
提出了一种扩展的Petri网建模语言(HyNet),该语言将面向对象技术、谓词逻辑和微分方程融入高级Petri网中,把托肯(token)作为对象,利用弧变量将库所(place)中托肯携带的信息传递到其后置变迁.这些信息可用来控制变迁的使能条件、规定变迁的活动和计算变迁的激发延续时间.因此,这种语言具有很强的模型描述能力,利用它所建的模型具有很好的柔性.作为案例,文中利用该语言建立了一个具体的混合流程企业的生产过程模型.
推荐文章
基于扩展Petri网的工作流建模及应用
扩展Petri网
工作流
验证
建模
基于Petri网的工作流过程建模
工作流
工作流过程建模
Petri网
工作流逻辑网
基于有色Petri网的经营过程建模
经营过程
经营过程重组
Petri网
有色Petri网
基于Petri网的混合安全策略建模与验证
中国墙策略
有色Petri网
模型
安全
验证
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于扩展Petri网的混合流程生产过程建模
来源期刊 机械科学与技术 学科 工学
关键词 Petri网 建模 混合流程
年,卷(期) 2003,(2) 所属期刊栏目 实验研究
研究方向 页码范围 318-322
页数 5页 分类号 TP393
字数 4952字 语种 中文
DOI 10.3321/j.issn:1003-8728.2003.02.048
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 孙树栋 西北工业大学飞行器制造与工程系 300 4780 34.0 53.0
2 郑锋 西北工业大学飞行器制造与工程系 8 187 7.0 8.0
3 吴坚 西北工业大学飞行器制造与工程系 8 277 5.0 8.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (2)
节点文献
引证文献  (18)
同被引文献  (8)
二级引证文献  (61)
1997(1)
  • 参考文献(1)
  • 二级参考文献(0)
2000(1)
  • 参考文献(1)
  • 二级参考文献(0)
2003(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2004(4)
  • 引证文献(4)
  • 二级引证文献(0)
2005(13)
  • 引证文献(4)
  • 二级引证文献(9)
2006(4)
  • 引证文献(0)
  • 二级引证文献(4)
2007(9)
  • 引证文献(0)
  • 二级引证文献(9)
2008(3)
  • 引证文献(0)
  • 二级引证文献(3)
2009(8)
  • 引证文献(4)
  • 二级引证文献(4)
2010(5)
  • 引证文献(3)
  • 二级引证文献(2)
2011(8)
  • 引证文献(1)
  • 二级引证文献(7)
2012(6)
  • 引证文献(0)
  • 二级引证文献(6)
2013(4)
  • 引证文献(1)
  • 二级引证文献(3)
2014(4)
  • 引证文献(0)
  • 二级引证文献(4)
2015(2)
  • 引证文献(0)
  • 二级引证文献(2)
2016(2)
  • 引证文献(0)
  • 二级引证文献(2)
2017(2)
  • 引证文献(1)
  • 二级引证文献(1)
2018(3)
  • 引证文献(0)
  • 二级引证文献(3)
2019(2)
  • 引证文献(0)
  • 二级引证文献(2)
研究主题发展历程
节点文献
Petri网
建模
混合流程
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
机械科学与技术
月刊
1003-8728
61-1114/TH
大16开
西安友谊西路127号
52-193
1981
chi
出版文献量(篇)
8073
总下载数(次)
15
总被引数(次)
69926
相关基金
国家自然科学基金
英文译名:the National Natural Science Foundation of China
官方网址:http://www.nsfc.gov.cn/
项目类型:青年科学基金项目(面上项目)
学科类型:数理科学
国家高技术研究发展计划(863计划)
英文译名:The National High Technology Research and Development Program of China
官方网址:http://www.863.org.cn
项目类型:重点项目
学科类型:信息技术
论文1v1指导