Title | ||
---|---|---|
Real-Time Control Software for Transaction Processing Based on Colored Safe Petri Net Model |
Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
1989 | 10.1007/BF00366572 | Realtime systems |
Keywords | Field | DocType |
Operating System,Processing Control,Control Program,Application Software,Computing Methodology | Transaction processing,Colored,Control theory,Petri net,Computer science,Software system,Real-time computing,Application software,Maintainability,Transaction processing system,Embedded system | Journal |
Volume | Issue | Citations |
1 | 4 | 0 |
PageRank | References | Authors |
0.34 | 1 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Tomohiro Murata | 1 | 11 | 5.22 |
Norihisa Komoda | 2 | 114 | 35.89 |