Contents of Report

[Data of Report]

Report Number:
TR0500
Date of Registration:
1989.09
English Title:
Petri Net-based Concurrent Programming Language on Distributed Processing System;Verification using Temporal Logic
Japanese Title:
ペトリネットに基づく平行プログラミング言語;時相命題論理による検証
English Author:
N.Uchihira,S.Honiden
Japanese:
内平　直志,本位田　真一
Name of Organization to which author belongs:
Toshiba,System & Software Engineering
PDF:
tr0500.pdf

[Contents]

1はじめに.... 2
2並行プログラミング言語.... 3
2.1MENDELネット.... 4
2.2MENDELの言語仕様.... 6
3検証.... 8
3.1時相命題論理.... 8
3.2ペトリネット.... 9
3.3ペトリネットとPTLの対応.... 9
3.4PTLによるペトリネットの検証.... 9
3.5検証アルゴリズム.... 10
3.6nop導入で検証可能なこと不可能なこと.... 11
3.7MENDELネットの検証.... 12
4知的分散プログラム上の実現.... 12
4.1IDPSの概要.... 12
4.2IDPSとMENDEL実行系.... 12
4.3同期通信方式.... 13
5まとめ.... 13
6参考文献.... 13
End.... 14

目次をクリックすると、PDFファイルが表示されます。

ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports