- 著者
-
中村 明
- 雑誌
- 全国大会講演論文集
- 巻号頁・発行日
- vol.39, pp.1058-1059, 1989-10-16
Process Flow Modelは、UNIXのプロセス管理の複雑な機構を解析する目的で筆者によって考案されたペトリネットの一変種である。ペトリネットの構成にしたがって、Process Flow Graph, Process Flow, Marked Process Flow,更にサービス関数、要求関数が定義されて、Process Flow Modelの枠組が組み立てられる。ここで対象とするUNIXシステムはスワッパというプロセス番号0を持ったシステム特殊プロセスと、PMAX個まで生成消滅するプロセス群より成立っているものとする。