×

Hierarchical reduction method for analysis and decomposition of Petri nets. (English) Zbl 0564.68047

A hierarchical reduction method of Petri nets is proposed. After a brief survey on the existing methods of Petri net reduction, concepts such as reducible subnet, degree of subnet, and macronode are defined. The subnets are partially ordered by the degree of subnet, and thus the reducible subnets can be reduced orderly into the macronodes. A reduced net can be obtained without changing the properties (for example, liveness and boundedness). A sequence of reduction results in a hierarchy of reduced Petri nets that allows easy verification and hierarchical decomposition of the system.

MSC:

68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
PDFBibTeX XMLCite
Full Text: DOI