%0 Journal Article
%T 时间π演算及其弱时间互模拟分析
%A 许？？可
%A 刘连臣
%A 吴？？澄
%J 计算机集成制造系统
%P 0-0
%D 2006
%X 为了提高π演算对系统时间特性进行建模和分析的能力，针对可重入流生产线系统的特点，提出了一种基于持续活动和同步-等待交互方式的时间良构的时间π演算，即T-π演算。提出了一种新的弱时间互模拟关系，对模型的现有等价性判别条件进行了松弛。作为对T-π演算的有效性检验，利用T-π演算对可重入流生产线进行了形式化描述，在此基础上进行了其等价性分析，并给出了其可调度性判据。
%K 时间π演算
%K 等价性分析
%K 可调度性分析
%K 形式化描述
%K 可重入流生产线
%U http://www.cims-journal.cn/CN/abstract/abstract1152.shtml