Petri nets based approach to software development for real-time control
作者:
P.Cofrancesco,
A.Cristoforetti,
R.Scattolini,
期刊:
IEE Proceedings D (Control Theory and Applications)
(IET Available online 1991)
卷期:
Volume 138,
issue 5
页码: 474-478
年代: 1991
DOI:10.1049/ip-d.1991.0065
出版商: IEE
数据来源: IET
摘要:
An approach to software development for real-time control is presented. The Petri nets formalism is used in the specification phase to describe the concurrency and synchronisation aspects of the software environment. Then the resulting Petri net model is implemented by means of a data driven architecture and can be based on any standard high-level language. The software development procedure described has been followed by a number of users for the rapid production, debugging, testing and prototyping of software modules.
点击下载:
PDF
(697KB)
返 回