Two methods of Petri nets decomposition into State Machine Components (SMCs) are
shown in the paper. The first one bases on the well-known algorithm of place invariants (p …