西安电子科技大学学报(自然科学版)
西安電子科技大學學報(自然科學版)
서안전자과기대학학보(자연과학판)
JOURNAL OF XIDIAN UNIVERSITY
2005年
1期
66-70
,共5页
控制和数据Petri网%控制系统%建模与分析
控製和數據Petri網%控製繫統%建模與分析
공제화수거Petri망%공제계통%건모여분석
基于Petri网,提出了离散事件系统建模,分析与控制的一种新模型--控制和数据Petri网(CDPN).给出了CDPN形式定义,发射规则.研究了基于工业控制计算机和可编程序逻辑控制器的控制系统CDPN模型的设计步骤和方法,为控制系统设计的最终确认提供了形式化的分析手段和依据.最后给出了该方法在立体停车库控制系统设计中的应用.
基于Petri網,提齣瞭離散事件繫統建模,分析與控製的一種新模型--控製和數據Petri網(CDPN).給齣瞭CDPN形式定義,髮射規則.研究瞭基于工業控製計算機和可編程序邏輯控製器的控製繫統CDPN模型的設計步驟和方法,為控製繫統設計的最終確認提供瞭形式化的分析手段和依據.最後給齣瞭該方法在立體停車庫控製繫統設計中的應用.
기우Petri망,제출료리산사건계통건모,분석여공제적일충신모형--공제화수거Petri망(CDPN).급출료CDPN형식정의,발사규칙.연구료기우공업공제계산궤화가편정서라집공제기적공제계통CDPN모형적설계보취화방법,위공제계통설계적최종학인제공료형식화적분석수단화의거.최후급출료해방법재입체정차고공제계통설계중적응용.
