论文部分内容阅读
“虫虫”初体验
【出 处】
：
新潮电子
【发表日期】
：
2000年4期
其他文献
优先关系是并发系统控制的重要手段.文中提出一种动态优先系统(Σ,D),其中Σ是有界Petri网,D是描述变迁之间优先关系的动态结构.然后采用变换技术分别给出安全的和有界的动态
针对点－时段时序逻辑的不足，提出了一种新的时段时序逻辑－－扩展时段时序逻辑，对不确定时间段发生的事件具有较好的描述能力。时间Petri网模型表示的引入，增强了扩展时段时序逻辑的
为刻画和验证无穷值域上的传值进程，Ｈｅｎｎｅｓｓｙ和Ｌｉｎ先后提出符号迁移图（ＳＴＧ）和带赋值符号迁移图（ＳＴＧＡ）作为传值进程的语义表示模型，并给出了相应的强互模拟算法．为将该方法推广至实际应用中更常用的弱互