基于多处理器系统的Petri网冗余变迁的消除

his paper proposes a structural approach to the elimination of redundant transitions based on Petri nets for multiprocessor systems (MPS). The goal is to identify and remove these transitions by their structural features and avoid state space explosions by elimination strategies based on structure analysis. A sufficient condition based on P-invariants is given to diagnose a class of redundant transitions. Moreover, an elimination algorithm of redundant transitions is proposed according to the condition. The set of redundant transitions at a given capacity restriction of a net can be obtained by analyzing invariants. Finally, an example of redundancy analysis for a four-processor system is presented.