扩展时间戳状态类研究.pdf

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