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

Author(s)

Bibliographic Information

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

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

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

Other Title

Petri nets

Title Transcription

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

Available at  / 86 libraries

Note

参考文献: p[167]-184

Description and Table of Contents

Description

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

Table of Contents

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

by "BOOK database"

Details

  • NCID
    BN0222821X
  • ISBN
    • 443170535X
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpn
  • Original Language Code
    eng
  • Place of Publication
    東京
  • Pages/Volumes
    xii, 186p
  • Size
    26cm
  • Classification
  • Subject Headings
Page Top