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

Tomohiro Murata, Norihisa Komoda

Research output: Contribution to journalArticle

1 Citation (Scopus)

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.

Original languageEnglish
Pages (from-to)299-312
Number of pages14
JournalReal-Time Systems
Volume1
Issue number4
DOIs
Publication statusPublished - 1990 Apr 1
Externally publishedYes

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Modelling and Simulation
  • Computer Science Applications
  • Computer Networks and Communications
  • Control and Optimization
  • Electrical and Electronic Engineering

Fingerprint Dive into the research topics of 'Real-time control software for transaction processing based on colored safe Petri Net model'. Together they form a unique fingerprint.

  • Cite this