REDUNDANT CONCURRENTABLE SUCCESSOR MARKINGS IN REACHABILITY ANALYSIS OF EPr/TN NET

In respect of redundant concurrentable successor, which occurs at the time of reachability analysis, the authors begin with examining its cause and then give a solution algorithm. Furthermore, the inherent incompleteness of that type of extended Petri net is studied. Finally, some methods of system modification are suggested.