• 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