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
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;
Conference_Titel :
Science and Information Conference (SAI), 2013
Conference_Location :
London