Author:
Tan Huobin,Yao Shuzhen,Xu Jiajun
Publisher
Springer Berlin Heidelberg
Reference8 articles.
1. Peterson, J.L.: Petri Net Theory, the Modeling of Systems. Prentice-Hall, Englewood Cliffs (1981)
2. Störrle, H.: Analysis and Design with UML and Petri-nets. Ludwig Maximilians University, Munich (2000)
3. Yao, S.Z., Shatz, S.M.: Consistency Checking of UML Dynamic Models Based on Petri Net Techniques. In: Proceedings of the 15th International Conference on Computing, CiC, pp. 289–297 (2006)
4. Hu, Z., Shatz, S.M.: Explicit Modeling of Semantics Associated with Composite States in UML Statecharts. Journal of Automated Software Engineering 13(4), 423–467 (2006)
5. Li, G.Y., Yao, S.Z.: Research on Mapping Algorithm of UML Sequence Diagram to Object Petri Nets. In: 2009 WRI Global Congress on Intelligent Systems, GCIS, vol. (4) (2009)