摘要

针对模块或功能划分明显的智能垃圾分类等具有此类特征的系统的建模问题,研究提出用面向对象Petri网(OOPN)及其细化方法可处理解决该类问题的结论。定义OOPN网系统的活性、有界性;提出OOPN类网精细化操作及细化后网系统仍保持活性、有界性的充要条件;并利用提出的类网精细化对智能垃圾分类拣放系统进行建模,验证其有效性和可行性,具有一定的实用价值。