Real-time control software for transaction processing based on colored safe Petri Net model

Tomohiro Murata*, Norihisa Komoda

*この研究の対応する著者

研究成果: Article査読

1 被引用数 (Scopus)

抄録

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

  • 制御およびシステム工学
  • モデリングとシミュレーション
  • コンピュータ サイエンスの応用
  • コンピュータ ネットワークおよび通信
  • 制御と最適化
  • 電子工学および電気工学

フィンガープリント

「Real-time control software for transaction processing based on colored safe Petri Net model」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル