期刊文献+

消防信息系统中电子地图子系统的广义随机Petri网工作流模型研究

Modeling and Analysis of Electric Map System of the FIS Based on GSPN
在线阅读 下载PDF
导出
摘要 消防信息系统(FIS)是消防综合管理和控制系统,其中电子地图子系统是消防信息系统的重要组成部分,也是其主要功能之一。目前用工作流来分析此系统的的研究并不多见。本文将广义随机网和工作流相结合,首先为电子地图子系统建立符合工作流概念的广义随机Petri网模型,然后利用工作流网的分析方法,对此Petri网模型进行定性和定量的分析,获得一些有价值的性能指标信息。 FIS is the colligate manage and control system of fire protection, the electric map System Is its important part, and one of the main function. At present , there is little research work made on The system with workflow principle. In this paper, firstly, a GSPN--workflow model of electric map system is set, then analysis the model by workflow analysis method, and get some valuable information.
出处 《计算技术与自动化》 2006年第2期85-87,123,共4页 Computing Technology and Automation
基金 国家重点实验室开放研究基金(SKLSE04-018) 湖北省重点科技公关项目(2003AA101C26)资助
关键词 消防信息系统 电子地图 广义随机PETRI网 工作流 FIS electric map GSPN workflow
  • 相关文献

参考文献4

二级参考文献21

  • 1袁崇义.Petri网原理[M].北京:电子工业出版社,1999..
  • 2Hollingsworth D..The workflow reference model,workflow management coalition.WfMC Document Number TC00-1003,1994.http://www.aiai.ed.ac.uk/WfMC/.
  • 3van der Aslst W.M.P..The application of Petri nets to workflow management.The Journal of CircuTIS,Systems and Computers,1998,8(1):21-66.
  • 4Papazoglou M.,Delis A.,Bouguettaya A.et a1..Class library support for workflow environments and applications.IEEE Transactions on Computers,1997,46(6):673-686.
  • 5Kacmar C.,Carey J.,Alexander M..Providing workflow services using a programmable hypermedia environment.Information and Software Technology,1998,40(1):381-396.
  • 6Shi Y.Q.,Zhang Z.H.,FangY.,JiangC.J..Build citytraffie information service system based on grid platform.In:Proceedings of the 6th IEEE International Conference on ITS,Shanghai,2003,1:278-282.
  • 7Du Yu-Yue,Jiang Chang-Jun.Towards a workflow model of real-time cooperative systems.In:Proceedings of the 5th International Conference on Formal Engineering Methods,Singapore,2003,452-470.
  • 8Du Yu-Yue,Jiang Chang-Jun.Formal representation and analysis of batch stock trading systems by logical Petri bet workflows.In:Proceedings of the 4th International Conference on Formal Engineering Methods,Shanghai,2002,221-225.
  • 9杨光宇,郑应平.面向对象Petri网建模与仿真的可视化环境[J].系统仿真学报,1997,9(3):7-12. 被引量:4
  • 10范玉顺,马权,张军.基于集控Petri网方法的面向对象建模和仿真工具[J].清华大学学报(自然科学版),1998,38(10):89-92. 被引量:6

共引文献29

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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