计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2007年
3期
240-245
,共6页
Petri网%合成%结构活性%公平性%系统设计
Petri網%閤成%結構活性%公平性%繫統設計
Petri망%합성%결구활성%공평성%계통설계
为了解决系统设计中的子系统共享问题,提出了经由Petri网共享T-型子网构成共享T型子网合成网的解决方案;研究了共享T-型子网合成网的结构性质,提出了共享T-型子网合成网保持结构有界性、守恒性、可重复性、相容性、P-不变量、T-不变量、公平性和结构活性的充分条件或充要条件;特别在证明结构活性保持性的过程中,体现了Petri网层次化的描述方法.本文的结果可为Petri网系统合成性质的考察提供有效途径,为复杂大系统的分析提供重要手段,并特别适合于一类系统的设计和分析,具有一定的实用价值.
為瞭解決繫統設計中的子繫統共享問題,提齣瞭經由Petri網共享T-型子網構成共享T型子網閤成網的解決方案;研究瞭共享T-型子網閤成網的結構性質,提齣瞭共享T-型子網閤成網保持結構有界性、守恆性、可重複性、相容性、P-不變量、T-不變量、公平性和結構活性的充分條件或充要條件;特彆在證明結構活性保持性的過程中,體現瞭Petri網層次化的描述方法.本文的結果可為Petri網繫統閤成性質的攷察提供有效途徑,為複雜大繫統的分析提供重要手段,併特彆適閤于一類繫統的設計和分析,具有一定的實用價值.
위료해결계통설계중적자계통공향문제,제출료경유Petri망공향T-형자망구성공향T형자망합성망적해결방안;연구료공향T-형자망합성망적결구성질,제출료공향T-형자망합성망보지결구유계성、수항성、가중복성、상용성、P-불변량、T-불변량、공평성화결구활성적충분조건혹충요조건;특별재증명결구활성보지성적과정중,체현료Petri망층차화적묘술방법.본문적결과가위Petri망계통합성성질적고찰제공유효도경,위복잡대계통적분석제공중요수단,병특별괄합우일류계통적설계화분석,구유일정적실용개치.