DocumentCode
1503133
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
Volume
138
Issue
5
fYear
1991
fDate
9/1/1991 12:00:00 AM
Firstpage
474
Lastpage
478
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;
fLanguage
English
Journal_Title
Control Theory and Applications, IEE Proceedings D
Publisher
iet
ISSN
0143-7054
Type
jour
Filename
92962
Link To Document