タクラ アキラ   Akira Takura
  田倉 昭
   所属   十文字学園女子大学  社会情報デザイン学部 社会情報デザイン学科
   職種   教授
言語種別 日本語
発行・発表の年月 1994/10
形態種別 研究論文
標題 カラードぺトリネットによる通信サービスシステムサービス仕様の検証方式
執筆形態 共著
掲載区分国内
出版社・発行元 計測自動制御学会第14回離散事象システム研究会,
巻・号・頁 411-416頁
著者・共著者 上田佳寛、田倉昭、太田理。
概要 プロダクションシステムからカラーを付加したペトリネットへの変換を行い,カラードペトリネット上で通信サービスの性質を定式化し、その解析手法を提案する。