DocumentCode
894067
Title
Transformational implementation of PAISLey specifications using Petri nets
Author
Sacha, Krzystof M.
Author_Institution
Inst. of Autom. Control, Warsaw Univ. of Technol., Poland
Volume
7
Issue
3
fYear
1992
fDate
5/1/1992 12:00:00 AM
Firstpage
191
Lastpage
204
Abstract
The paper presents a method for the specification and transformational implementation of embedded control systems. The method is based on an extension to Petri nets. The modelling power of the proposed nets is shown by comparison with the functional specification language PAISLey. Extended Petri nets provide a framework for building an executable model of a specification (prototype), automated transformation of the model structure, simulation and validation of the model behaviour, and automated code generation for the validated structure. The method is illustrated using a laboratory process-control system as a working example
Keywords
Petri nets; control engineering computing; formal specification; specification languages; PAISLey; Petri nets; automated code generation; automated transformation; embedded control systems; functional specification language; laboratory process-control system; prototype; simulation; validation;
fLanguage
English
Journal_Title
Software Engineering Journal
Publisher
iet
ISSN
0268-6961
Type
jour
Filename
144802
Link To Document