In order to provide a quantitative analysis and verification method for activity diagrams based business process modeling, a formal definition of activity diagr
The Chetaev model and Vacco model in nonholonomic system are studied. The equivalence of the Chetaev model and Vacco model in ideal nonholonomic system and noni