1) ESAC nets
扩展强化非对称选择网(ESAC网)
2) strong I AC net
强化I型非对称选择网
3) strong II AC net
强化II型非对称选择网
4) asymmetric choice net
非对称选择网
1.
Several sufficient conditions are presented, which the link-road synthesis net of free choice nets(FC), extended free choice nets(EFC), strong asymmetric choice nets(SAC), extended strong asymmetric choice nets(ESAC), or asymmetric choice nets(AC) is a FC net, EFC net, SAC net, ESAC net, or AC net respectively.
提出了单链路的概念和链路合成网的概念;给出了自由选择网(FC),扩展自由选择网(EFC),强化非对称自由选择网(SAC),扩展强化非对称选择网(ESAC)和非对称选择网(AC)链路合成网为各自相应网的充分条件;提出了链路合成网保持结构活性的条件,按照条件对多个结构活的FC网,EFC网,SAC网,ESAC网,AC网以及一般的Petri网两两进行链路合成,最后可得到结构活的链路合成总网;链路合成的特色是合成条件容易判断,实用性强。
2.
In this paper, a subclass of AC nets which are called decomposable asymmetric choice nets are obtained.
从分解以及尽可能简单分解的角度得到了非对称选择网的一个子类,可分解非对称选择网(简称DAC网),证明了DAC网系统活性的充分必要条件,同时给出了DAC网系统活性有界性的充分必要条件,也进一步讨论了判定一个Petri网系统是否是活的有界的DAC网系统的多项式算法。
5) decomposable asymmetric choice net
可分解非对称选择网
1.
In this paper, a subclass of AC nets which are called decomposable asymmetric choice nets are obtained.
从分解以及尽可能简单分解的角度得到了非对称选择网的一个子类,可分解非对称选择网(简称DAC网),证明了DAC网系统活性的充分必要条件,同时给出了DAC网系统活性有界性的充分必要条件,也进一步讨论了判定一个Petri网系统是否是活的有界的DAC网系统的多项式算法。
6) extended free choice net(EFC-net)
扩展自由选择网
1.
For the reason,it is mapped to workflow net(WF-net) Based on the two adjusted mappings that not destroy the structure properties and system behaviors of the original WF-net),the WF-net is adjusted to a completely extended free choice net(EFC-net).
基于两种不破坏原工作流网络结构特性和系统行为的调整映射,将工作流网调整为完全的扩展自由选择网(EFC-net),结合秩定理,给出了验证工作流合理性的算法。
补充资料：城域网(见计算机网络)
城域网(见计算机网络)
metropolitan area network, MAN
ehengyuwQng城域网(metropolitan area netwo次，MAN)分布范围可覆盖几个街区到整个城市的计算机网络。见计算机网络。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条