计算机工程与科学
計算機工程與科學
계산궤공정여과학
COMPUTER ENGINEERING & SCIENCE
2013年
4期
125-129
,共5页
Petri网%化简%并分解%建模
Petri網%化簡%併分解%建模
Petri망%화간%병분해%건모
依据Petri网并分解的定义,提出了一种可将无环多输出的网系统分解为若干个单输出库所子网的新技术,并对其正确性进行了证明.对生产制造故障诊断系统和电子商务制造商建立了Petri网模型,运用所提出的分解技术对所建立的模型进行分解,通过计算验证了分解后的各子网状态与原网的状态的一致性,为Petri网应用于较大规模的相关系统提供了一条可行的思路.
依據Petri網併分解的定義,提齣瞭一種可將無環多輸齣的網繫統分解為若榦箇單輸齣庫所子網的新技術,併對其正確性進行瞭證明.對生產製造故障診斷繫統和電子商務製造商建立瞭Petri網模型,運用所提齣的分解技術對所建立的模型進行分解,通過計算驗證瞭分解後的各子網狀態與原網的狀態的一緻性,為Petri網應用于較大規模的相關繫統提供瞭一條可行的思路.
의거Petri망병분해적정의,제출료일충가장무배다수출적망계통분해위약간개단수출고소자망적신기술,병대기정학성진행료증명.대생산제조고장진단계통화전자상무제조상건립료Petri망모형,운용소제출적분해기술대소건립적모형진행분해,통과계산험증료분해후적각자망상태여원망적상태적일치성,위Petri망응용우교대규모적상관계통제공료일조가행적사로.
