Verification of hypertorus communication grids by infinite petri nets and process algebra
Sign Up to like & getrecommendations! Published in 2019 at "IEEE/CAA Journal of Automatica Sinica"
DOI: 10.1109/jas.2019.1911486
Abstract: A model of a hypertorus communication grid has been constructed in the form of an infinite Petri net. A grid cell represents either a packet switching device or a bioplast cell. A parametric expression is… read more here.
Keywords: petri net; communication; infinite petri; process algebra ... See more keywords