支持产品创新设计的流形Petri网数据模型

摘要

提出一种支持产品创新设计的流形对象Petri网数据模型MOPN(Manifold Object Petri Net),其利用面向对象技术来刻画产品的静态结构,实现了产品数据的封装、抽象与层次化建模,特别是扩展了对象的属性类型,将对象的属性值扩展到流形上,因而可刻画对象属性值非均匀变化的情况。模型利用高级Petri网刻画产品的动态工作过程,不仅可支持产品工作过程的创新,而且还可通过模型的形式化来验证产品创新概念的逻辑正确性和完整性。