论文部分内容阅读
为了提高π演算对系统时间特性进行建模和分析的能力,针对可重入流生产线系统的特点,提出了一种基于持续活动和同步-等待交互方式的时间良构的时间π演算,即T-π演算.提出了一种新的弱时间互模拟关系,对模型的现有等价性判别条件进行了松弛.作为对T-π演算的有效性检验,利用T-π演算对可重入流生产线进行了形式化描述,在此基础上进行了其等价性分析,并给出了其可调度性判据.