1、在離散事件動(dòng)態(tài)系統(tǒng)的研究中，邏輯層次的建模與控制是一個(gè)很重要的方面。由于Petri網(wǎng)的一些特點(diǎn)，例如真并發(fā)的語(yǔ)義、易于轉(zhuǎn)換為計(jì)算機(jī)程序控制碼、邏輯電路形式的硬件實(shí)現(xiàn)，因此在DEDS的控制理論研究領(lǐng)域引起了很大的關(guān)注。目前大多數(shù)的研究表現(xiàn)為在變形后的受控Petri網(wǎng)基礎(chǔ)上，利用各種方法求得各種邏輯型、結(jié)構(gòu)型控制器，解決DEDS監(jiān)控理論中的事件反饋控制問(wèn)題與狀態(tài)反饋控制問(wèn)題。
　　總的說(shuō)來(lái)，以往的工作有以下的不足：首先，由于受控Pet

2、ri網(wǎng)的特性，大部分基于此的方法求出的是邏輯型控制器，而且對(duì)于受控系統(tǒng)都有一些限制。其次，目前使用的控制規(guī)范大多采用自然語(yǔ)言、庫(kù)所容量不等式約束等形式，且大多針對(duì)庫(kù)所與標(biāo)識(shí)的約束，對(duì)變遷的約束一般要轉(zhuǎn)化為對(duì)其輸入庫(kù)所的約束。所以，目前研究中針對(duì)的控制目的大多是一些固定內(nèi)容，因此限制了對(duì)系統(tǒng)進(jìn)行改造的程度。而且，在一些研究中，對(duì)于生成的帶有控制結(jié)構(gòu)的新Petri網(wǎng)模型，往往加入一些擴(kuò)展，改變了網(wǎng)的外延規(guī)則，使得這種改造某種程度上失去了意義

3、。
　　與次同時(shí)，研究人員注意到線(xiàn)性時(shí)序邏輯具有以下特點(diǎn)：它可以像經(jīng)典邏輯一樣，描述被模擬對(duì)象的靜態(tài)規(guī)范；同時(shí)，它還可以很自然的表示狀態(tài)轉(zhuǎn)換機(jī)制，即描述對(duì)象的動(dòng)態(tài)語(yǔ)義。
　　所以，本文引入線(xiàn)性時(shí)序邏輯公式作為基于Petri網(wǎng)的離散事件動(dòng)態(tài)系統(tǒng)控制器綜合的控制規(guī)范的描述語(yǔ)言，通過(guò)利用時(shí)序邏輯公式的語(yǔ)義對(duì)有界Petri網(wǎng)的擴(kuò)展可達(dá)標(biāo)識(shí)圖的處理，以及本文改造的轉(zhuǎn)移系統(tǒng)轉(zhuǎn)化為Petri網(wǎng)的算法，將其轉(zhuǎn)化為與原模型具有相同變遷集、相同

4、語(yǔ)言以及最大保持原網(wǎng)結(jié)構(gòu)的原型Petri網(wǎng)模型，實(shí)現(xiàn)了模型與控制期望的有效、明確、具有實(shí)際意義的融合，更加有利于控制綜合后的模型的物理實(shí)現(xiàn)。
　　具體內(nèi)容上，本文首先討論了時(shí)序Petri網(wǎng)語(yǔ)言表達(dá)能力。借助帶抑止弧的增廣Petri網(wǎng)，證明了時(shí)序Petri網(wǎng)的語(yǔ)言描述能力不弱于圖靈機(jī)，大大超過(guò)原型Petri網(wǎng)。接著，又通過(guò)對(duì)時(shí)序Petri網(wǎng)的可達(dá)標(biāo)識(shí)圖的構(gòu)造，證明了有界時(shí)序Petri網(wǎng)的語(yǔ)言表達(dá)能力等同于正規(guī)語(yǔ)言，與有界Petri網(wǎng)