有哪些信誉好的足球投注网站- 1、有哪些信誉好的足球投注网站（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
Vol. 17 增刊 系 统 仿 真 学 报 Oct. 2005 JOURNAL OF SYSTEM SIMULATION 73 扩展时间戳状态类 1,2 1 1 潘 理 , 李文军 , 刘显明 (1 中山大学 计算机科学系, 广州 510275; 2 湖南理工学院 计算机与信息工程系, 岳阳 414006) 摘 要: 状态类方法是时间Petri 进行可达性分析的主要方法.提出扩展时间戳状态类方法,该方法通 过扩展变迁的同步使能信息到时间戳状态类, 解决了时间戳状态类方法中同步使能变迁的可实施 性问题 最后以一个典型生产系统为例展示扩展时间戳状态类方法的应用 关键词: 时间Petri 网; 同步使能变迁; 扩展时间戳状态类 文章编号 1004-731X (2005) S-73-05 中图分类号 TP393 文献标识码 A Extended Clock-Stamped State Classes 1,2 1 1 PAN Li , LI Wen-Jun , LIU Xian-Min 1 ( Department of Computer Science, Sun Yat-Sen University, Guangzhou 510275, China) 2 ( Department of Computer Information Engineering, Hunan Institute of Science Technology, Yueyang 414006, China) Abstract Approaches based on state classes are a primary method for reachability analysis of time Petri nets. The clock-stamped state class approach, which can efficiently compute the end-to-end delay in task execution that is a critical issue for real-time systems, is one of these approaches. However, an important problem, the determining of the firability of synchronously enabling transitions, exists for the clock-stamped state class approach. To solve this problem, a new approach, called extended clock-stamped state class approach, is presented. An extended clock-stamped state class is a clock-stamped state class to which has been ad
文档评论（0）