Abstract: By introducing Petri nets, we extended the knowledge reformulation and abstraction model that could represent the static physical world W, in order to enhance its ability to describe the dynamic behavior of physical entities. The improved model was applied to intelligent lab. The results show that the improved moder can meet the formalizing requirements of physical entities in the intelligent lab.

Key words: Petri net, intelligent lab, knowledge reformulation and abstraction (KRA), formalizing, cyberphysical system (CPS)