标题：Rewritable Petri nets: Rewritable place and properties analysis
作者：Pang, Shan-Chen ;Lin, Chuang
作者机构：[Pang, Shan-Chen ] College of Information Science and Engineering, Shandong University of Science and Technology, Qingdao 266590, China;[Lin, Chuang ] 更多
来源：Jisuanji Xuebao/Chinese Journal of Computers
摘要：To solve problems of dynamic modeling capabilities of Petri nets on the dynamic system reconfiguration, rewritable Petri nets and rewritable place of Petri nets is presented in this paper. Some properties of the rewritable place of Petri nets, such as structural boundedness, conservation, repetitiveness, and liveness are analyzed and verified. A necessary and sufficient condition for the liveness of the rewritable place of Petri nets is presented. The paper shows that the sharing synthesis Petri net is an instance of rewritable place of Petri net, and a simulation algorithm the degraded rewritable place of Petri nets simulates sharing synthesis Petri nets is established. The results provide a theoretical method for Petri net formal modeling of dynamic reconfiguration systems, and provide an effective way for the formal verification of large-scale dynamic distributed systems.