小テスト
p2
t2
p5
t5
p4
t1
p1
t3
p3
t4
小テストのペトリネット１
t6
小テストのペトリネット１：説明
Placeの説明
p1:問題が表示され､正解と不正解を表示することが可能な状態(正解のクリック＆送信待ち)
p2:不正解が表示され問題の表示が可能な状態(戻るをクリックするのを待つ状態)
p3:正解が表示され、第二問を表示することが可能な状態(第二もんへのリンクをクリック待ち)
p4:問題が表示され、正解と不正解を表示することが可能な状態(正解のクリック＆送信待ち)
p5:不正解が表示され、問題の表示が可能な状態(戻るをクリックするのを待つ状態)
Transitionの説明
t1:問題の表示
t2:不正解の表示
t3:正解の表示
t4:問題の表示
t5:不正解の表示
t6:正解の表示
小テスト
p2
t7
t5
t2
p3
p6
t4
p1
p5
t8
p7
t1
p8
t6
p4
t3
t9
t10
小テストのペトリネット２
小テストのペトリネット２：説明
Placeの説明
p1:問題が表示されていて、結果を表示する(正解/不正解フラグを立てる)ことが可能な状態(正解のクリック
＆送信待ち)
p2:1問目が不正解である状態(フラグ)
p3:正解/不正解が表示され、第二問を表示することが可能な状態(第二問へのリンクをクリック待ち)
p4:1問目が正解である状態(フラグ)
p5:問題が表示され､結果を表示する(正解/不正解フラグを立てる)ことが可能な状態(正解のクリック＆送信
待ち)
p6:2問目が不正解である状態(フラグ)
p7:正解/不正解が表示され､結果を表示することが可能な状態(結果ページへのクリック待ち)
p8:2問目が不正解である状態(フラグ)
Transitionの説明
t1,t4:問題の表示
t2,t5:不正解の表示＆不正解フラグを立てる
t3,t6:正解の表示＆正解フラグを立てる
t7,t8,t9,t10:結果表示
p7
p1
p5
p3
t5
t3
t1
DB
教師
p9
p10
p11
OESS
生徒
t2
t6
p4
t4
p6
p8
p2
レポートのペトリネット
レポートのペトリネット：説明
•
教師側
Place:
p1:課題を提出する前
p3:レポートの提出待ち
p5:採点中
p7:採点終了
Transition:
t1:課題を入力・送信(BrowserからDBへ)
t3:レポートを出力(DBからBrowserへ)
t5:採点結果を送信(BrowserからDBへ)
レポートのペトリネット：説明
•
生徒側
Place:
p2:課題の出題待ち
p4:課題を閲覧し、解答を入力している状態
p6:採点結果待ち
p8:採点結果を閲覧
Transition:
t2:課題を出力(DBからBrowserへ)
t4:解答を送信(BrowserからDBへ)
t6:採点結果を出力(DBからBrowserへ)
レポートのペトリネット：説明
•
OESS側(TransitionはすべてOESS)
Place:
p9:課題がDBにある
p10:レポートがDBにある
p11:採点結果がDBにある

小テストのペトリネット1