摘要
文章力图以通信顺序进程为基础设计一种自动制造系统的规格说明语言，采用该语言所形成的描述语言可以自动转化为系统的Ｐｅｔｒｉ网模型．文章为复杂离散自动制造系统Ｐｅｔｒｉ网形式化设计理论的研究，开辟了一条新途径．
An attempt has been made that Communicating Sequential processes are used for design-ing the specification language for automated manufacturing systems.The language can then betransferred into a Petri model for the system.A new channel is set up for the development ofthe formal design theory of Petri net models for discrete automated manufacturing systems.
出处
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
1995年第2期195-200,共6页
Journal of Xidian University
基金
校基金
关键词
离散系统
自动制造系统
PETRI网
automated manufacturing system
communicating sequential processes
Petri nets
