petri-net model

基本解釋

This thesis introduces the Petri net and the Petri net model of a data link layer protocol, and illustrates the properties of the net with S-invariant and T-invariant.
本文介紹了Petri網和數(shù)據(jù)鏈路層協(xié)議的一個Petri網模型，并且用S不變式和T不變式證明了該網的活性及其它性質。
www.tdscdma-forum.org
Further simulation illustrates the effect of the adjustment. Theory of colored Petri net is introduced to condense the Petri net model of multi-axis servo control progress.
基于著色Petri理論對多軸伺服控制的分析模型進行了壓縮，表明該方法可有效精簡具有相似結構的系統(tǒng)分析模型。
This paper presents the structural definition, graphical representation and behavior-al rules for Petri net extended Petri net based representation for embedded system(EPRES) model.
該文在分析現(xiàn)有Petri網模型的基礎上，提出了一種EPRES（extended Petri net based representation for embedded system）模型，并具體給出了相應的結構定義、圖形表示和行為規(guī)則。