Petri nets based approach to software development for real-time control
Pacifico Cofrancesco, Andrea Cristoforetti, Riccardo Scattolini · IEE Proceedings D Control Theory and Applications · 1991
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.