政大機構典藏-National Chengchi University Institutional Repository(NCCUR):Item 140.119/78920
English  |  正體中文  |  简体中文  |  Post-Print筆數 : 27 |  全文笔数/总笔数 : 97400/128064 (76%)
造访人次 : 33874832      在线人数 : 36
RC Version 6.0 © Powered By DSPACE, MIT. Enhanced by NTU Library IR team.
搜寻范围 查询小技巧:
  • 您可在西文检索词汇前后加上"双引号",以获取较精准的检索结果
  • 若欲以作者姓名搜寻,建议至进阶搜寻限定作者字段,可获得较完整数据
  • 进阶搜寻
    政大機構典藏 > 商學院 > 資訊管理學系 > 會議論文 >  Item 140.119/78920


    请使用永久网址来引用或连结此文件: http://nccur.lib.nccu.edu.tw/handle/140.119/78920


    题名: A new liveness characterization for S 3PGR 2
    作者: Chao, Daniel Yuh;Chen, Jiun-Ting
    趙玉;陳俊廷
    贡献者: 資管系
    关键词: deadlocks;General Petri nets;Hot research topics;Liveness;Sequential process;Sufficient and necessary condition;Synchronized choice nets;weakly live;Computer science;Petri nets
    日期: 2011-06
    上传时间: 2015-10-08 17:52:33 (UTC+8)
    摘要: It has been a hot research topic to find the sufficient and necessary condition of liveness for S 3PGR 2 (systems of simple sequential processes with general resources requirement) modeled by general Petri nets (GPN). This paper proposes a solution. © 2011 IEEE.
    關聯: Proceedings - 2011 IEEE International Conference on Computer Science and Automation Engineering, CSAE 2011,3,論文編號 5952651, 137-141
    数据类型: conference
    DOI 連結: http://dx.doi.org/10.1109/CSAE.2011.5952651
    DOI: 10.1109/CSAE.2011.5952651
    显示于类别:[資訊管理學系] 會議論文

    文件中的档案:

    档案 描述 大小格式浏览次数
    index.html0KbHTML592检视/开启


    在政大典藏中所有的数据项都受到原著作权保护.


    社群 sharing

    著作權政策宣告
    1.本網站之數位內容為國立政治大學所收錄之機構典藏,無償提供學術研究與公眾教育等公益性使用,惟仍請適度,合理使用本網站之內容,以尊重著作權人之權益。商業上之利用,則請先取得著作權人之授權。
    2.本網站之製作,已盡力防止侵害著作權人之權益,如仍發現本網站之數位內容有侵害著作權人權益情事者,請權利人通知本網站維護人員(nccur@nccu.edu.tw),維護人員將立即採取移除該數位著作等補救措施。
    DSpace Software Copyright © 2002-2004  MIT &  Hewlett-Packard  /   Enhanced by   NTU Library IR team Copyright ©   - 回馈