小テスト
p2
t2
p5
t5
p4
t1
p1
t3
p3
t4
小テストのペトリネット1
t6
小テストのペトリネット1:説明
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
小テストのペトリネット2
小テストのペトリネット2:説明
Placeの説明
p1:問題が表示されていて、結果を表示する(正解/不正解フラグを立てる)ことが可能な状態(正解のクリック
&送信待ち)
p2:1問目が不正解である状態(フラグ)
p3:正解/不正解が表示され、第二問を表示することが可能な状態(第二問へのリンクをクリック待ち)
p4:1問目が正解である状態(フラグ)
p5:問題が表示され、結果を表示する(正解/不正解フラグを立てる)ことが可能な状態(正解のクリック&送信
待ち)
p6:2問目が不正解である状態(フラグ)
p7:正解/不正解が表示され、結果を表示することが可能な状態(結果ページへのクリック待ち)
p8:2問目が不正解である状態(フラグ)
Transitionの説明
t1,t4:問題の表示
t2,t5:不正解の表示&不正解フラグを立てる
t3,t6:正解の表示&正解フラグを立てる
t7,t8,t9,t10:結果表示
p8
p1
p3
t5
t3
t1
p9
DB
p10
教師
p4
OESS
p7
生徒
t2
t6
p5
t4
p6
p11
p2
レポートのペトリネット
レポートのペトリネット:説明
•
教師側
Place:
p1:課題を提出する前
p3:レポートの提出待ち
p8:採点中
p9:採点終了
Transition:
t1:課題を入力・送信(BrowserからDBへ)
t3:レポートを出力(DBからBrowserへ)
t5:採点結果を送信(BrowserからDBへ)
レポートのペトリネット:説明
•
生徒側
Place:
p2:課題の出題待ち
p5:課題を閲覧し、解答を入力している状態
p6:採点結果待ち
p11:採点結果を閲覧
Transition:
t2:課題を出力(DBからBrowserへ)
t4:解答を送信(BrowserからDBへ)
t6:採点結果を出力(DBからBrowserへ)
レポートのペトリネット:説明
•
OESS
(Transitionは、厳密にはOESSのアクショ
ン)
Place:
p4:課題が存在する
p7:レポートが提出された
p10:採点結果が存在する
p3
p13
p16
t8
p17
t10
t11
t1
p1
p14
p15
p2
t9
p18
t12
t2
教師
OESS
p4
p19
DB
p12
生徒
t4
t14
p6
p22
t7
p8
p11
p5
t3
p7
p20
p10
t5
p9
t15
t13
t6
p21
レポートのペトリネット2
(OESS と DB の界面にも遷移ノードを貼り付けたVer.)
p23
レポートのペトリネット2:説明
• 教師側
p1:課題を提出する前
p3:レポートの提出待ち
p13:提出されたレポートの表示待ち
p16:採点中
p17:採点終了
レポートのペトリネット2:説明
• 生徒側
p5:課題の出題待ち
p7:課題の表示待ち
p9:解答中
p10:採点待ち
p21:採点結果表示待ち
p23:採点結果を閲覧
レポートのペトリネット2:説明
• OESS内Place
p2:CGIが課題をブラウザから受け取り、DBへ課題を登録する前状態
p4:課題がDB内に存在する
p6:CGIが課題ファイルをDBに要求する前
p8:CGIが課題をブラウザに表示する前
p11:CGIがレポートをブラウザから受け取り、DBへ登録する前状態
p12:提出されたレポートが存在する
p14:CGIがレポートをDBに要求する前
p15:CGIがレポートをブラウザに表示する前
p18:CGIが採点結果をブラウザから受け取り、DBへ登録する前状態
p19:採点結果が存在する
p20: CGIが採点結果をDBに要求する前
p22:CGIが採点結果をブラウザに表示する前
レポートのペトリネット2:説明
• Transition
t1:課題の入力・送信
t2:DBに課題を登録
t3:課題のページへのリンクをクリック t4:DBの課題ファイルを参照
t5:課題ページの表示
t6:レポートの入力・送信
t7:DBにレポートを登録
t8:レポートの採点ページへのリンクをクリック
t9:DBの提出されたレポートを参照
t10:採点ページの表示
t11:採点結果の入力・送信
t12:DBに採点結果を登録
t13:採点結果のページへのリンクをクリック
t14:DBの採点結果を参照
t15:採点結果ページの表示
ダウンロード

petrinetの具体例改訂版(v1.2)