petrinetの具体例改訂版（v1.3）

p1
p9
p2
t1
t4
p3
教師
p7
生徒
p4
t2
p5
t3
p6
小テストのペトリネット:一画面に全て
の問題と答の入力欄が表示される
Version
p8
小テストのペトリネット１壱画面に全ての
問題と答の入力欄が表示されるVersion ：説明
教師側のPlaceの説明
p3:小テストを出題する前の状態。(小テスト出題ページを見ている状態)
p4:小テストの出題が終わり、小テストの結果を待つ状態
p7:小テストの結果を閲覧している状態
生徒側Placeの説明
p5:小テストを解く前の状態。(小テストページにアクセスする前状態)
p6:小テストの解答欄に入力している状態
p8:小テストの結果を見ている状態
小テストのペトリネット１一画面に全ての
問題と答の入力欄が表示されるVersion ：説明
OESS内のPlaceの説明.
p3:小テストの問題が(DB内に)存在する.
p4:小テストの解答・解説が(DB内に)存在する.
p7:小テストを受けた結果が(DB内に)存在する.
Transitionの説明.
t1:小テストの問題と解答･解説をDBに登録し、教師に送信完了HTMLを表示す
る.
t2:DBにアクセスし、小テストの問題をゲットし、生徒に解答用ページを表示する。
t3:生徒から小テストの解答を受取り、DBの解答と照らし合わせ、採点する。そ
の結果をDBに登録し、生徒がわに採点結果を表示する。
t4:DBから小テストの結果をゲットし、教師に小テストの結果を表示する.
p2
t7
t5
t2
p3
p6
t4
p1
p5
t8
p7
t1
p8
t6
p4
t3
t9
t10
小テストのペトリネット２
t7
t8
小テストのペトリネット:
プレースが一つのトークンしか
もてないVer(３問)
５
４
３
２
１
１
小テストのペトリネット：プレースが
複数のトークンを持つことができる
Ver(5問)
２
３
４
５
小テストのペトリネット：生徒側
一人分：一問分
p2
p3
t2
p1
t1
p4
t3
小テストのペトリネット２：説明
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
レポートのペトリネット２
(OESS と DB の界面にも遷移ノードを貼り付けたVer.)
p23
レポートのペトリネット２：説明
• 教師側
p1:課題を提出する前
p3:レポートの提出待ち
p13:提出されたレポートの表示待ち
p16:採点中
p17:採点終了
レポートのペトリネット２：説明
• 生徒側
p5:課題の出題待ち
p7:課題の表示待ち
p9:解答中
p10:採点待ち
p21:採点結果表示待ち
p23:採点結果を閲覧
レポートのペトリネット２：説明
• 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が採点結果をブラウザに表示する前
レポートのペトリネット２：説明
• Transition
t1:課題の入力・送信
t2:DBに課題を登録
t3:課題のページへのリンクをクリック t4:DBの課題ファイルを参照
t5:課題ページの表示
t6:レポートの入力・送信
t7:DBにレポートを登録
t8:レポートの採点ページへのリンクをクリック
t9:DBの提出されたレポートを参照
t10:採点ページの表示
t11:採点結果の入力・送信
t12:DBに採点結果を登録
t13:採点結果のページへのリンクをクリック
t14:DBの採点結果を参照
t15:採点結果ページの表示

Download Report