首页   按字顺浏览 期刊浏览 卷期浏览 Petri nets based approach to software development for real-time control
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)



返 回