LAUSR

Petri net is a mathematical and graphical tool used for analyzing the properties of parallel and concurrent system designs. Here, it is used for checking the process modeling of 4×4 Butler matrix fabricated on Rogers RO3210 and resonating in Ku band. Butler matrix is well suited for satellite and aircraft antenna applications as a feeding network for phase array systems. So, this basic feed design process of antennas is studied using Petri nets for better understating the designing process and removal of any deadlocks occurring during designing and feeding of antennas. It is accomplished by analyzing the behavioral and structural properties of Petri nets. A Butler matrix divides the power amplitude into four equal parts and provides a progressive phase difference of 45◦. Therefore, its components, 0 dB coupler, 3 dB coupler, and phase shifters, have also been designed and simulated. After designing the components, firstly these components are joined to form a matrix design which is simulated and fabricated in ANSYS HFSS. Secondly, the designed structure is analyzed for structural and behavioral properties using Petri net’s graphical and mathematical properties. After analyzing the process, the feed design can be modified further according to user requirements, and deadlock can be removed by checking the difference between the simulated and measured results of design. Likewise, here the matrix has been compared and found to be following the same pattern. The overall size of the matrix is 5.58× 7.43 cm2, which is further suitable for the user’s feeding requirements and applications.