Issue:Correctness of a formal generalized net project of a class of an object-oriented program