High level net models: a tool for permutation mapping and fault detection in multistage interconnection network

This paper aims at structurising the detection of different types of stuck-at faults for a wide range of multistage interconnection networks (MINs). The results reported so far in this respect have been mainly based on direct combinatorial analysis of the concerned networks with very little consideration towards the modelling aspects. Graphical representation coupled with well-defined semantics allowing formal analysis has already established the Petri net as an effective tool for modelling dynamic systems. However, the existing variants of high level nets had certain limitations in modelling the dynamic behaviour of mapping a permutation through the MIN and further analysis of the same. This has inspired the authors to propose a couple of new high level net models, called MP-net and S-net in their earlier works. The S-net model uses tokens to hold and propagate information apart from controlling the firing of events. It uses two different types of places and transitions each as has been defied subsequently. In this paper, we have concentrated on the detection of faults in MINs using this S-net model