The state explosion problem is considered for Petri nets used for analysis and synthesis of systems. A reduction technique for managing complexity of the net is studied. It is based on the notions of well-behaved transition module and well-behaved place module. Properties of inverse Petri nets are also studied. The procedure reduces the state space of the underlying system while preserving logical properties like boundedness, liveness, deadlock-freedom, and proper termination.
|Number of pages||5|
|Publication status||Published - 1987 Dec 1|
All Science Journal Classification (ASJC) codes