OOPN网精细化操作及在垃圾分类建模中的应用  

OBJECT-ORIENTED PETRI NET REFINEMENT AND ITS APPLICATION IN GARBAGE CLASSIFICATION MODELING

作　　者：王兆诚 夏传良[1] 张玮 王壮壮 Wang Zhaocheng;Xia Chuanliang;Zhang Wei;Wang Zhuangzhuang(School of Computer Science and Technology,Shandong Jianzhu University,Jinan 250101,Shandong,China)

机构地区：[1]山东建筑大学计算机科学与技术学院,山东济南250101

出　　处：《计算机应用与软件》2022年第5期30-34,91,共6页Computer Applications and Software

基　　金：山东省自然科学基金项目(ZR2016FM19)。

摘　　要：针对模块或功能划分明显的智能垃圾分类等具有此类特征的系统的建模问题,研究提出用面向对象Petri网(OOPN)及其细化方法可处理解决该类问题的结论。定义OOPN网系统的活性、有界性;提出OOPN类网精细化操作及细化后网系统仍保持活性、有界性的充要条件;并利用提出的类网精细化对智能垃圾分类拣放系统进行建模,验证其有效性和可行性,具有一定的实用价值。It is concluded that using a kind of object-oriented Petri net(OOPN)refinement could solve a class of problems,according to modeling of systems with obvious module or functional division,such as intelligent garbage classification system.The liveness and boundedness of OOPN system were defined.The class net refinement of OOPN network and the necessary and sufficient condition to remain active and bounded after the fine operation were proposed.The proposed class net refinement has been used to model the intelligent garbage classification system,which proved that this method is effective and feasible,and has certain practical value.

关 键 词：面向对象PETRI网 类网精细化 活性 有界性 建模 

分 类 号：TP3[自动化与计算机技术—计算机科学与技术]