OPTIMIZATION OF PETRI NET DECOMPOSITION

Ján Bača

   The paper deals with criteria and procedure of Petri net decomposition to a certain subnets from a view of reachability solution effectiveness. Appropriate procedure is determined in a form of algorithmic steps.

Keywords: Petri net, reachability problem (RP), Petri net decomposition, decomposition criteria, incidencity, incidence distance

[full-paper]