P/T_网与P/T_系统的同类性证明

在 Petri网研究领域中 ,一直把 P/ T网 (即经典意义上的 Petri网系统 )与 P/ T系统 (即库所 /变迁系统 )划分为两类不同的 Petri网进行研究。实际上 ,这两类 Petri网没有质的区别 ,只要适当做些技术性处理 ,并将这些技术性处理建立在严格的同类性证明之上 ,即可把它们视为同一类 Petri网系统。