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

作　　者：乐晓波[1] 黄敏[1] 

机构地区：[1]长沙交通学院计算机系,湖南长沙410076

出　　处：《计算技术与自动化》2000年第3期16-20,共5页Computing Technology and Automation

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

关 键 词：PETRI网 P/T_系统 同类性证明 计算机科学 

分 类 号：TP393.1[自动化与计算机技术—计算机应用技术]