グラフ理論: 例題



カラーペトリネット

OSP式

COペトリネット

例題

更なる説明



テスト

英語

目次に戻る









例題 V1={A,B,C},V2={F,G},E1={AF,BG},E2={FB,GB,GC} s(JK)=J, t(JK)=K (J,K=A,B,...)であり 初期マークは a=3 で トランジション F において:
プレースBについてのOSP式
出力条件:True 出力値: b:=a×4+3
トランジション G において:
プレースBについてのOSP式
出力条件:[b<=40] 出力値: b:=b×2+1
プレースCについてのOSP式
出力条件:[b>40] 出力値: c:=b×2+1
で与えられるCOペトリネットにおいて、F,G,F,G,...と交互に評価していった とき、プレースCに得られるマークの値は?
答え これは下のような図になる。フローチャートと同じようにみればよい。 但しGで判定したあと一回余計に計算するので注意!
a=3 --> b=3*4+3=15 --> b<=40なのでb=15*2+1=31として戻り。31<=40なので b=31*2+1=63 としてもう一度戻り。63>40なので c:=63*2+1=127 なる値のマーク がCに入る。答えは127.