Title :
Petri nets based approach to software development for real-time control
Author :
Cofrancesco, P. ; Cristoforetti, A. ; Scattolini, R.
Author_Institution :
Dipartimento di Fisica ´´A. Volta´´, Pavia Univ., Italy
fDate :
9/1/1991 12:00:00 AM
Abstract :
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
Keywords :
Petri nets; computerised control; real-time systems; software engineering; Petri nets based approach; concurrency; data driven architecture; debugging; prototyping; real-time control; software development; software environment; software modules; specification phase; synchronisation; testing;
Journal_Title :
Control Theory and Applications, IEE Proceedings D
