串行加工系统Petri网控制器的形式化设计方法

Keywords: Petri网控制器, 资源向量, 资源极大网, 标志容量

Full-Text   Cite this paper   Add to My Lib

Abstract:

Full-Text