Real-time control software for transaction processing based on colored safe Petri Net model
✍ Scribed by Tomohiro Murata; Norihisa Komoda
- Publisher
- Springer US
- Year
- 1990
- Tongue
- English
- Weight
- 559 KB
- Volume
- 1
- Category
- Article
- ISSN
- 0922-6443
No coin nor oath required. For personal study only.
✦ Synopsis
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.