DocumentCode :
2185343
Title :
Acclimations of Petri net theory in real-time system for hybrid plant
Author :
Abu Bakar, B.B. ; Osman, M.S.
Author_Institution :
Electr. Eng. Dept., Univ. Kuala Lumpur-British Malaysian Inst., Gombak, Malaysia
fYear :
2013
fDate :
7-9 Oct. 2013
Firstpage :
244
Lastpage :
248
Abstract :
A real-time system is a computerisation of monitoring and controlling of an external environment. The system must meet various timing and other constraints that are imposed on it by the real-time behaviour of the external world. The difference between real-time software and conventional software is that a real-time program must be both logically and temporally correct. To successfully design and implement a real-time system, some analysis is typically done to ensure that requirement or design are consistent and that they satisfy certain desirable properties that may not be immediately obvious from specification. The executable specifications, prototypes and simulation are particularly useful in the real-time system for debugging. This research paper, propose the acclimations of the Petri net theory for real-time system modelling and automatic code generation for hybrid Roselle extraction plant for Small Medium Enterprise (SME) in Malaysia. The benefits of our proposed approaches are demonstrated by the use of our prototype software tools.
Keywords :
Petri nets; formal specification; small-to-medium enterprises; Petri net theory; SME; automatic code generation; debugging; hybrid Roselle extraction plant; hybrid plant; real-time system; small medium enterprise; software tool; Equations; Mathematical model; Petri nets; Process control; Real-time systems; Software; Switches; Real-time Modelling for Hybrid Process Plant;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Science and Information Conference (SAI), 2013
Conference_Location :
London
Type :
conf
Filename :
6661746
Link To Document :
بازگشت