A Hardware Implementation of Petri Nets Models

Abstract

In this work is proposed a hardware implementation method of Safe Petri Net model (SaPN). The processing structure presents an interaction between homogeny processing elements functional defined. On dependence of interconnections of elements, there can be implemented any complexity of Safe Petri Net model. The processing elements represent a flexible architecture, which permit to adjust them to Safe Petri Net model. Using this architecture and interactions of elements we obtained a reduced time of processing to checking Safe Petri Net to reachability, viability and other behavior properties.