ペトリネット理論入門 : 並列同時進行の表現と解析

著者

• Reisig, Wolfgang
• 長谷川, 健介 ハセガワ, ケンスケ
• 高橋, 宏治 タカハシ, コウジ

書誌事項

ペトリネット理論入門 : 並列同時進行の表現と解析

W. ライシッヒ著 ; 長谷川健介, 高橋宏治訳

シュプリンガー・フェアラーク東京, 1988.4

タイトル別名

Petri nets

タイトル読み

ペトリネット リロン ニュウモン : ヘイレツ ドウジ シンコウ ノ ヒョウゲン ト カイセキ

注記

参考文献: p[167]-184

内容説明・目次

内容説明

本書の目的は、ネット理論のうち、実際に応用する際に基礎となるものを説明することである。したがって、まずネット理論の基本的な概念と考え方をいくつかの例で示しながら紹介し、またそれらの関係について述べる。さらにいくつかの拡張例でネットの応用方法を説明する。

目次

• 序論（紹介例と基礎的定義）
• 第１編　条件／事象‐システム（条件と事象からなるネット；条件／事象‐システムのプロセス；システムの性質）
• 第２編　プレース／トランジション‐ネット（プレースとトランジションよりなるネット；ネット‐インバリアント；特殊なクラスのネットについての活性判定）
• 第３編　個体トークンをもつネット（述語／事象‐ネット；関係ネット）
• 付録：数学的概念および表記法

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BN0222821X
• ISBN:
  • 443170535X
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 原本言語コード: eng
• 出版地: 東京
• ページ数/冊数: xii, 186p
• 大きさ: 26cm
• 分類:
  • NDC8 : 007.61
  • NDC7 : 418.6
  • NDLC : M151
• 件名:
  • BSH : システム設計
  • NDLSH : システム設計