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
Published in:
Control Theory and Applications, IEE Proceedings D
(Volume:138
,
Issue:
5
)
Date of Publication: Sep 1991