期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

柔性制造系统的时间Petri网建模与分析

Modeling and Analysis of Flexible Manufacturing System Using Time Petri Net
下载PDF
导出
摘要 时间Petri网是描述和验证实时系统最常用的形式模型之一。建立基于时间Petri网的典型柔性制造系统模型,利用状态类分析方法,定量计算所有可行调度及其执行时间,进而获得最优调度,为复杂柔性制造系统的建模与调度提供有效的模型支持。 Time Petri nets are a popular format model for the specification and verification of real-time systems. In this paper, we build a typical flexible manufacturing system model based on a time Petri net, and quantitatively analyze all feasi- ble schedules and their execution delays by using a state class method, and then obtain an optimal schedule. Our method of- fers an effective support for the modeling and scheduling of complex flexible manufacturing systems.
作者 潘理 郭观七 欧阳竟成 李武
机构地区 湖南理工学院信息与通信工程学院 湖南理工学院复杂系统优化与控制湖南省普通高等学校重点实验室
出处 《计算技术与自动化》 2013年第2期105-108,共4页 Computing Technology and Automation
基金 湖南省自然科学基金资助项目(11JJ2037 11JJ4058) 湖南省教育厅资助科研项目(10C0759 11A041) 湖南省高校科技创新团队支持计划资助项目(湘教通[2012]318-18)
关键词 时间PETRI网 状态类方法 柔性制造系统 建模与调度 time Petri nets state class method flexible manufacturing system modeling and scheduling
分类号 TP301 [自动化与计算机技术—计算机系统结构]
  • 相关文献

参考文献8

  • 1N. Wu, F. Chu, C. Chu, and M.C. Zhou. Schedulability analysis of short-term scheduling for crude oil operalions in refinery with oil residency time and charging-tank-switch-overlap constraints [J ]. IEEE Transactions on Automation Science and Engineering, 2011, 8(1): 190-204.
  • 2C. Ramchandani. Analysis of asynchronous concurrent sys- tems by timed Petri nets[D]. Ph.D. thesis, project MAC technical report 120, MIT, Cambridge, MA, 1974.
  • 3P. Merlin and D. J. Farber. Recoverability of communica- tion protocols-implication of a theoretical study [J ]. IEEE Trans. on Communications, 1976, 24(9): 1036-1043.
  • 4B. Berthomieu and M. Diaz. Modeling and verification of time dependent systems using Time Petri Nets[J]. IEEE Trans. on Software Eng. , 1991, 17(3): 259-273.
  • 5J. Wang, Y. Deng, G. Xu. Reachability analysis of real- time systems using time Petri nets[J]. IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics, 2000, 30(5): 725-736.
  • 6R. Hadjidj, H. Boueheneb. On-the-fly TCTL model chec- king for Time Petri nets[J]. Theoretical Computer Science, 2009, 410(42): 4241-4261.
  • 7潘理,丁志军,郭观七.混合语义时间Petri网模型[J].软件学报,2011,22(6):1199-1209. 被引量：11
  • 8潘理,刘显明,郑红,张远来.基于Matlab的时间Petri网工具箱[J].系统仿真学报,2011,23(B07):99-101. 被引量：2

二级参考文献22

  • 1刘卫东,宋佳兴,林闯.基于价格时间Petri网的网格计算应用模型及分析[J].电子学报,2005,33(8):1416-1420. 被引量：27
  • 2刘显明,李师贤,李文军,潘理.一种扩展了价格信息的时间Petri网[J].软件学报,2007,18(1):1-10. 被引量：21
  • 3Merlin PM, Farber DJ. Recoverability of communication protocols implications of a theoretical study. IEEE Trans. on Communications, 1976,24(9):1036-1043. [doi: 10.1109/TCOM.1976.1093424].
  • 4Berthomieu B, Diaz M. Modeling and verification of time dependent systems using time Petri nets. IEEE Trans. on Software Engineering, 1991,17(3):259-273. [doi: 10.1109/32.75415].
  • 5Boyer M, Roux OH. Comparison of the expressiveness of arc, place and transition time Petri nets. In: Proc. of the 28th Int'l Conf. on Application and Theory of Petri Nets and other Models of Concurrency. LNCS 4546, Berlin: Springer-Verlag, 2007.63-82. [doi: 10.1007/978-3 -540-73094-1 _7].
  • 6Felder M, Mandrioli D, Morzenti A. Proving properties of real-time systems through logical specifications and Petri net models. IEEE Trans. on Software Engineering, 1994,20(2): 127-141. [doi: 10.1109/32.265634].
  • 7Koutny M. A compositional model of time Petri nets. In: Proc. of the 21st Int'l Conf. on Application and Theory of Petri Nets. LNCS 1825, Berlin: Springer-Verlag, 2000. 303-322. [doi: 10.1007/3-540-44988-4_18].
  • 8Esparza J. Decidability and complexity of Petri net problems--An introduction. In: Proc. of the Lectures on Petri Nets I: Basic Models. LNCS 1491, 1998. 374-428. [doi: 10.1007/3-540-65306-6_20].
  • 9Berthomieu B, Lime D, Roux OH, Vernadat F. Reachability problems and abstract state spaces for time Petri nets with stopwatches. Discrete Event Dynamic System, 2007,17(2): 133-158. [doi: 10.1007/s10626-006-001 l-y].
  • 10Alain RP, Amaud S. Weak time Petri nets strike back. In: Proc. of the 20th Int'l Conf. on Concurrency Theory. LNCS 5710, Berlin: Springer-Verlag, 2009. 557-571. [doi: 10.1007/978-3-642-04081-8_37].

共引文献11

计算技术与自动化
2013年 第2期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部