抄録
A Petri Net-based real-time control software system for transaction processing is proposed to improve flexibility and maintainability in real-time application software. This software system is named Station Controller (SCR). Transaction processing control programs can be understandably described using Control Net (C-net) which is a problem-oriented language based on a colored safe Petri Net model. The described C-net program is directly executed by a net-interpreter installed on a 16-bit micro-computer system. In this paper, some features of the SCR are described and a successful application of the SCR is illustrated.
| 本文言語 | English |
|---|---|
| ページ（範囲） | 299-312 |
| ページ数 | 14 |
| ジャーナル | Real-Time Systems |
| 巻 | 1 |
| 号 | 4 |
| DOI | |
| 出版ステータス | Published - 1990 4月 1 |
| 外部発表 | はい |
ASJC Scopus subject areas
- 制御およびシステム工学
- モデリングとシミュレーション
- コンピュータ サイエンスの応用
- コンピュータ ネットワークおよび通信
- 制御と最適化
- 電子工学および電気工学