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 Murata1115.22
Norihisa Komoda211435.89