Preservation of Nineteen Properties under Place and Transition Reductions

摘要

This paper studies the preservation of properties astern the reduction of a single place or a single transition in systems specified in ordinary Petri nets. The reduction rule are more general than those already reported in the literature and thus have a wider scope of application. It is shown that they can preserve the following nineteen properties: state machine, marked group, free choice net, asymmetric choice net, conservativeness, structural boundedness, consistence, repetitiveness, rank, cluster, rank-cluster-property, coverability by minimal state-machines, siphon, trap, cyclomatic complexity roundedness, proper termination, liveness and reversibility.