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

基于Matlab的时间Petri网工具箱 被引量：2

Matlab Toolbox for Time Petri Nets
下载PDF
导出
摘要 要解决实际系统,尤其是大型复杂实时系统的建模、模拟、分析和验证等问题,友好、有效的工具支持是必不可少的。充分利用Matlab强大的矩阵运算和丰富的数据分析能力,研制基于Matlab平台的可视化时间Petri网分析工具箱,重点开发了工具箱的图形编辑、动态模拟、时间分析等功能,为时间Petri网分析工具的研制提供了一种有益的探索。 To solve the problems existing in modeling,simulation,analysis and verification of system,especially large and complex real-time systems,friendly and effective tool support is essential.A Matlab toolbox for time Petri nets was developed by fully utilizing the powerful capabilities of matrix operations and data analysis of Matlab.Graphical edition,dynamical simulation,and timing analysis functions of the toolbox were implemented.This work is undoubtedly a good try in the tool development of time Petri nets.
作者 潘理 刘显明 郑红 张远来
机构地区 湖南理工学院信息与通信工程学院 江西省电力公司信息通信中心 华东理工大学计算机科学与工程系 泰豪软件股份有限公司电力事业部
出处 《系统仿真学报》 CAS CSCD 北大核心 2011年第B07期99-101,131,共4页 Journal of System Simulation
基金 数字家庭教育部重点实验室开放基金(中山大学) 计算机软件新技术国家重点实验室开放基金(KFKT2009B18) 江西省电力公司科技项目(201050803 201150802)
关键词 时间PETRI网 MATLAB 时间分析 工具箱 time Petri nets Matlab timing analysis toolbox
分类号 TP301 [自动化与计算机技术—计算机系统结构]
  • 相关文献

参考文献12

  • 1刘卫东,宋佳兴,林闯.基于价格时间Petri网的网格计算应用模型及分析[J].电子学报,2005,33(8):1416-1420. 被引量：27
  • 2李慧芳,范玉顺.基于时间Petri网的工作流模型分析(英文)[J].软件学报,2004,15(1):17-26. 被引量：44
  • 3J 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 (S1083-4419), 2000, 30(5): 725-736.
  • 4P Xu, Q Ma. Sneak timing analysis based on time Petri net in power system [C]// 4th IEEE Conference on Industrial Electronics and Applications, ICIEA 2009. USA: IEEE, 2009: 697-702.
  • 5B Berthomieu, F Vemadat. Time Petri Nets Analysis with TINA [C]// Proceedings of the 3rd international conference on the Quantitative Evaluation of Systems. USA: IEEE, 2006: 123-124.
  • 6D Lime, O H Roux, C Seidner, L M Traonouez. Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches [C]// Proceedings 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, LNCS 5505. Berlin, Germany: Springer, 2009: 54-57.
  • 7ISO/IEC 15909-2: 2011, Systems and software engineering -- High-level Petri nets -- Part 2: Transfer format IS].
  • 8S Roch, P H Starke. INA: Integrated Net Analyzer. User manual, Humboldt-Urtiversitat zu Berlin, 2003. Version 2.2 [EB/OL]. (2003-7-31) [2011-5-25].http ://www2.informatik.hu-berlin.de/lehrstuehle/automaten/ina/.
  • 9GiraultC,ValkR.系统工程Petri网一建模,验证与应用指南[M].王生原等译.袁崇义审校.北京:电子工业出版社,2005.
  • 10潘理,丁志军,陈刚.基于一致分布的时间Petri网模型[J].计算机学报,2010,33(5):900-907. 被引量：3

二级参考文献36

  • 1刘卫东,宋佳兴,林闯.基于价格时间Petri网的网格计算应用模型及分析[J].电子学报,2005,33(8):1416-1420. 被引量：27
  • 2李慧芳 范玉顺.工作流系统时间管理.软件学报,2002.13(8):1552～1558.http://www.jos.org.cn/1000-9825/13/1552.pdf.,.
  • 3Merlin P M,Farber D J.Recoverability of communication protocols:Implication of a theoretical study.IEEE Transactions on Communications,1976,24(9):1036-1043.
  • 4Balbo G.Introduction to stochastic Petri nets.Lectures or Formal Methods and Performance Analysis 2090,2001:84-155.
  • 5Boyer M,Roux O H.Comparison of the expressiveness of arc,place and transition time Petri nets//Proceedings of the 28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency.Siedlce,Poland.LNCS 4546.Berlin,Springer-Verlag,2007:63-82.
  • 6Ramchandani C.Analysis of asynchronous concurrent systems by timed Petri nets.Massachusets Institute of Technology,Technical Report MAC-TR-120,1974.
  • 7Lin C,Marinescu D C.Stochastic high-level Petri nets and applications.IEEE Transactions on Computers,1988,37 (7):815-825.
  • 8Berthomieu B,Diaz M.Modeling and verification of time dependent systems using time Petri nets.IEEE Transactions on Software Engineering,1991,17(3):259-273.
  • 9Vicario E.Static analysis and dynamic steering of time dependent systems using time Petri nets.IEEE Transactions on Software Engineering,2001,27(8):728-748.
  • 10Hadjidj R,Boucheneb H.Improving state class constructions for CTL* model checking of time Petri nets.International Journal on Software Tools for Technology Transfer,2008,10(2):167-184.

共引文献89

同被引文献17

  • 1白跃伟,陈卓宁,宾鸿赞.装配规划与方案评价集成系统的研究与开发[J].计算机辅助设计与图形学学报,2005,17(3):605-610. 被引量：3
  • 2梁斌,邱述斌,巴鲁奇,许晓东,徐家球,张伯鹏.装配规划中基于割集的装配顺序生成方法[J].中国机械工程,1995,6(1):27-29. 被引量：11
  • 3周开俊,李东波,许焕敏.一种产品装配序列的评价方法[J].计算机集成制造系统,2006,12(4):563-567. 被引量：17
  • 4于海山,李原,张开富.飞机装配顺序的多目标综合评价方法研究[J].西北工业大学学报,2006,24(6):808-812. 被引量：10
  • 5N. 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.
  • 6C. Ramchandani. Analysis of asynchronous concurrent sys- tems by timed Petri nets[D]. Ph.D. thesis, project MAC technical report 120, MIT, Cambridge, MA, 1974.
  • 7P. 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.
  • 8B. 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.
  • 9J. 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.
  • 10R. Hadjidj, H. Boueheneb. On-the-fly TCTL model chec- king for Time Petri nets[J]. Theoretical Computer Science, 2009, 410(42): 4241-4261.

引证文献2

系统仿真学报
2011年 第B07期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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