其次,我们使用有限状态进程语言(Finite State Process,FSP),对工作流的活动图模型进行形式化表示.
基于4个网页-相关网页
基于2个网页-相关网页
使用有限状态进程语言 Finite State Process ; FSP
有限状态进程语言
Finite state process language
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动