Modeling & Analysis Of Boiler Drum Control System Using Petri Nets
Keywords:
Stochastic Petri Nets, Fail Safe Model, ModelAnalysisAbstract
The aim behind this paper is to deveTlohpe tbhoeiler drum system considered in this paperuses Petri Net unique model for analyzing the fail safe condition and performance of the boiler drum section using Petri Nets. The structural and behavioural properties of the
developed Petri net models serves as a tool for model checking and redundancy checking which are essentialto verify the correctness of boiler drum dynamics. This is followed by the validation and performance evaluation of the developed model .The developed model helps in providing safety analysis during operation .The mathematical and graphical results obtained from the developed system helps inunderstanding and analyzing the characteristics of entire boiler drum section