In fact, the local states are irrelative each other, therefore the combination of local state is not needed.The LRG can be constructed in parallel.

• 这种方法对于规模较大的任务图Petri网系统可以分块研究，而任意两个模块Petri网的LRG所代表的状态又可以是并发存在的，所以可以并行生成各个LRG。