【摘要】：Petri網(wǎng)和自動(dòng)機(jī)是離散事件動(dòng)態(tài)系統(tǒng)建模的兩種重要方法,研究這兩種模型之間的關(guān)系,對(duì)于更好地理解和控制離散事件動(dòng)態(tài)系統(tǒng)的行為具有重要作用.本文從形式語(yǔ)言的角度對(duì)該問(wèn)題進(jìn)行了研究,提出了判定無(wú)標(biāo)注L型Petri網(wǎng)語(yǔ)言屬性的方法,引入有效遞增子和線性子等概念來(lái)刻畫Petri網(wǎng)語(yǔ)言的性質(zhì).對(duì)于一個(gè)Petri網(wǎng)PN,當(dāng)PN沒(méi)有有效遞增子時(shí),PN對(duì)應(yīng)的Petri網(wǎng)語(yǔ)言是正則語(yǔ)言.當(dāng)PN的某個(gè)有效遞增子有兩個(gè)及其以上線性子時(shí),PN對(duì)應(yīng)的Petri網(wǎng)語(yǔ)言是上下文有關(guān)的.當(dāng)PN的所有有效遞增子只有一個(gè)線性子時(shí),如果只有一個(gè)有效遞增子,則PN對(duì)應(yīng)的Petri網(wǎng)語(yǔ)言是上下文無(wú)關(guān)的;如果PN有兩個(gè)及其以上有效遞增子,則順序引發(fā)、嵌套引發(fā)和選擇引發(fā)時(shí)PN對(duì)應(yīng)的Petri網(wǎng)語(yǔ)言是上下文無(wú)關(guān)的,并發(fā)引發(fā)和交叉引發(fā)時(shí)PN對(duì)應(yīng)的Petri網(wǎng)語(yǔ)言是上下文相關(guān)的.本文還對(duì)可達(dá)樹(shù)進(jìn)行了改進(jìn),給出了利用改進(jìn)后的可達(dá)樹(shù)來(lái)判定有效遞增子的方法,從而使得本文給出的判定無(wú)標(biāo)注L型Petri網(wǎng)語(yǔ)言屬性的方法具有可操作性.
[Abstract]:Petri net and automaton are two important methods for modeling discrete event dynamic systems. The study of the relationship between the two models plays an important role in better understanding and controlling the behavior of discrete event dynamic systems. In this paper, the problem is studied from the point of view of formal language, and a method to determine the linguistic attributes of unmarked L-type Petri net is proposed. The concepts of effective iterator and linear sub-are introduced to characterize the properties of Petri net language. For a Petri net PN, the Petri net language corresponding to PN is regular when PN does not have an effective iterator. When a valid iterator of PN has two or more linear children, the Petri net language corresponding to PN is context-dependent. When all valid implicators of PN have only one linear child, the Petri net language corresponding to PN is context-free if there is only one valid adopter, and if PN has two or more valid implicators, then the Petri net language corresponding to PN is context-free when nesting and selection is raised, and the Petri net language corresponding to PN is context-dependent when concurrent initiation and cross-initiation. In this paper, the reachability tree is also improved, and the method of using the improved reachability tree to determine the effective enhancer is given, which makes the method given in this paper operable to determine the language attributes of unmarked L-type Petri net.
【作者單位】： 華北科技學(xué)院計(jì)算機(jī)系;河北省物聯(lián)網(wǎng)數(shù)據(jù)采集與處理工程技術(shù)研究中心;
【基金】：國(guó)家自然科學(xué)基金(批準(zhǔn)號(hào):61472137) 中央高�；究蒲袠I(yè)務(wù)項(xiàng)目(批準(zhǔn)號(hào):3142014007,3142015022) 河北省高等學(xué)�？茖W(xué)技術(shù)研究項(xiàng)目(批準(zhǔn)號(hào):Z2014038) 青海省重點(diǎn)研發(fā)項(xiàng)目(批準(zhǔn)號(hào):2016-SF-130)資助
【分類號(hào)】：TP301.1

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 張繼軍;董衛(wèi);范昊;;Petri網(wǎng)與二元文法的語(yǔ)言等價(jià)性[J];微電子學(xué)與計(jì)算機(jī);2011年04期

2 王斌國(guó);;Petri網(wǎng)分析方法綜述[J];福建電腦;2007年10期

3 李靜;婁志剛;;基于Petri網(wǎng)的分析方法簡(jiǎn)述[J];企業(yè)技術(shù)開(kāi)發(fā);2011年14期

4 曾慶田,吳哲輝;基于分解的結(jié)構(gòu)復(fù)雜Petri網(wǎng)的語(yǔ)言行為描述[J];系統(tǒng)工程學(xué)報(bào);2004年03期

5 丁志軍,蔣昌俊;基于網(wǎng)語(yǔ)言的Ada程序局部性質(zhì)的分析和驗(yàn)證[J];軟件學(xué)報(bào);2002年12期

6 曾慶田;吳哲輝;;類S-圖的語(yǔ)言性質(zhì)分析[J];計(jì)算機(jī)科學(xué);2002年05期

7 胡健生,黃金志,祝習(xí)兵,黃勇;基于Petri網(wǎng)語(yǔ)言的程序設(shè)計(jì)流程[J];信號(hào)處理;2003年05期

8 曾慶田;Petri網(wǎng)語(yǔ)言的同步混排運(yùn)算及在語(yǔ)言分析中的應(yīng)用[J];系統(tǒng)工程學(xué)報(bào);2005年05期

9 劉關(guān)俊;蔣昌俊;陳黎靜;;各類Petri網(wǎng)語(yǔ)言間的關(guān)系[J];系統(tǒng)仿真學(xué)報(bào);2007年07期

10 陳軍;王元元;;Petri網(wǎng)語(yǔ)言與傳統(tǒng)形式語(yǔ)言的關(guān)系[J];計(jì)算機(jī)科學(xué);1996年06期

，

本文編號(hào)：2508093