We consider an extension of Lafont’s Interaction Nets, called Multiport Interaction Nets, and show that they are a model of concurrent computation by encoding the full π-calculus in them. We thus obtain a faithful graphical representation of the π-calculus in which every reduction step is decomposed in fully local graph-rewriting rules.

This manuscript focuses on a Multi-port non-isolated (Dual input and single output) DC/DC power electronic interface based Z-Quasi resonant (ZQR) network. The converter accommodates grid Photovoltaic panel (PV) as its sources. Unlike the basic converters, recommended requires fewer switches provides continuous current, high voltage gain, minimal stress switch up to 40% duty cycle owing presence...