| 大会名称 |
|---|
| 2016年 総合大会 |
| 大会コ－ド |
| 2016G |
| 開催年 |
| 2016 |
| 発行日 |
| 2016/3/1 |
| セッション番号 |
| A-10 |
| セッション名 |
| システム数理と応用 |
| 講演日 |
| 2016/3/15 |
| 講演場所(会議室等) |
| 総合学習プラザ 2F 第13講義室 |
| 講演番号 |
| A-10-8 |
| タイトル |
| プリエンプティブ制御時間付きペトリネットのSMT論理式表現 |
| 著者名 |
| ◎前田佳樹, 潮 俊光, |
| キーワード |
| ペトリネット, SMT論理式, スケジューリング |
| 抄録 |
| 発火継続時間規則を用いた時間付きペトリネット(TPN) は非同期並行システムのモデルとして提案された．一方で，トランジションの発火の制御に外部入力プレースが用いられる．さらに，発火の中断(プリエンプション)を表現できる発火規則が提案されている．本稿では，プリエンプションを制御する制御プレースを導入したプリエンプティブ制御TPNを提案 し，その挙動を記述するSatisfiability Modulo Theories(SMT)論理式表現を導出する． |
| 本文pdf |
|
PDF download
|