IEEE - Institute of Electrical and Electronics Engineers, Inc. - Petri net tools for analysis and verification of task scheduling algorithm in real time distributed process control system

Proceedings of TENCON '93. IEEE Region 10 International Conference on Computers, Communications and Automation

Author(s): Chen Qinghua ; Wu Yongsen ; Zhu Hong
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1993
Conference Location: Beijing, China, China
Conference Date: 19 October 1993
Volume: 4
Page Count: 4
ISBN (Paper): 0-7803-1233-3
DOI: 10.1109/TENCON.1993.320433
Regular:

This paper first show by formalism that a task scheduling algorithm can be equivalently specified by a set of rules, that is, a set of specification rules can constitute a task scheduling... View More

Advertisement