Modeling and Verification Based on UML and Petri Net
Zuohua Ding · Journal of Zhejiang Sci-Tech University · 2010
In order to improve system modeling and properties checking techniques,a modeling method based on UML and Petri net is proposed.System model is constructed with UML,then system dynamic behavior is modeled by Petri net,System can be modeled in different views.The advantages of these two models are clarified,transformation between UML model and Petri net model is implemented by some translation rules.Petri net model is converted to Promela program,and SPIN is used to do verification for Petri net model.