上海交通大学学报
上海交通大學學報
상해교통대학학보
JOURNAL OF SHANGHAI JIAOTONG UNIVERSITY
2004年
1期
52-58
,共7页
Petri网%π-演算%π-网%拟合%π-网的复合规则
Petri網%π-縯算%π-網%擬閤%π-網的複閤規則
Petri망%π-연산%π-망%의합%π-망적복합규칙
π-网是一类新型的模块化的高级Petri网.π-网有机地结合了两类并发模型Petri网和π-演算,π-网既可称为Petri网中的π-演算,又是π-演算的Petri网形式的体现,从而在语义上实现了从π-演算到Petri网的一种自动翻译,较完整地解决了π-演算的分布式语义问题.在π-网中,任一π-网都可由五类基本π-网:Tau网、输入网、自由输出网、受限输出网和匹配网通过π-网的复合规则复合而成,这一结果不仅使得一个π-进程能够在π-网中得到自动的演进,也使π-网自身具有了极大的可操作性和可计算性.
π-網是一類新型的模塊化的高級Petri網.π-網有機地結閤瞭兩類併髮模型Petri網和π-縯算,π-網既可稱為Petri網中的π-縯算,又是π-縯算的Petri網形式的體現,從而在語義上實現瞭從π-縯算到Petri網的一種自動翻譯,較完整地解決瞭π-縯算的分佈式語義問題.在π-網中,任一π-網都可由五類基本π-網:Tau網、輸入網、自由輸齣網、受限輸齣網和匹配網通過π-網的複閤規則複閤而成,這一結果不僅使得一箇π-進程能夠在π-網中得到自動的縯進,也使π-網自身具有瞭極大的可操作性和可計算性.
π-망시일류신형적모괴화적고급Petri망.π-망유궤지결합료량류병발모형Petri망화π-연산,π-망기가칭위Petri망중적π-연산,우시π-연산적Petri망형식적체현,종이재어의상실현료종π-연산도Petri망적일충자동번역,교완정지해결료π-연산적분포식어의문제.재π-망중,임일π-망도가유오류기본π-망:Tau망、수입망、자유수출망、수한수출망화필배망통과π-망적복합규칙복합이성,저일결과불부사득일개π-진정능구재π-망중득도자동적연진,야사π-망자신구유료겁대적가조작성화가계산성.