Applications of boolean difference concept and petrinet modelling in fault analysis of minimized combinational network