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网和数据链路层协议的一个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理论对多轴伺服控制的分析模型进行了压缩，表明该方法可有效精简具有相似结构的系统分析模型。
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.
该文在分析现有Petri网模型的基础上，提出了一种EPRES（extended Petri net based representation for embedded system）模型，并具体给出了相应的结构定义、图形表示和行为规则。