摘要
本文概述了目前用于并发系统形式描述的几个重要的基本模型：ＦＳＭ、Ｐｅｔｒｉ网、ＦＴＳ以及ＣＳＰ、ＣＣＳ、Ｓｔａｔｅｃｈａｒｔ等，并分析了上述一些模型的特点和不足之处，指出ＦＴＳ模型为时态逻辑用于并发系统形式描述提供了良好的基础。
Several important basic models for specifying concurrent systems:FSM,Petri Net,FTS,CSP,CCS and Statechart,ets are introduced.Their propoties and deficiencies are analyzed.It is pointed out that FTS model provides a better basis for specifications of concurrent systems with temporal logic.
出处
《重庆大学学报（自然科学版）》
EI
CAS
CSCD
1998年第3期26-31,共6页
Journal of Chongqing University
基金
国家自然科学基金
四川省教委青年科研基金
重庆市应用基础研究基金
关键词
并发处理
并发系统
模型
程序设计
计算机
concurrent processing / concurrent system
specification
model
