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。
今日热词
目录 附录 查词历史