Author:
Bouabana-Tebibel Thouraya,Belmesk Mounira
Subject
Computer Science Applications,Information Systems,Software
Reference43 articles.
1. Modeling and Analysis of Workflows Using Petri Nets, Journal of Intelligent Information Systems;Adam,1998
2. N. Amálio, F. Polack, Comparison of formalization approaches of UML class constructs in Z and Object-Z, in: Proc. Int. Conf. of Z and B Users, Lecture Notes in Computer Science, vol. 2561, 2003.
3. Compositional modeling of reactive systems using open nets;Baldan,2001
4. L. Baresi, Some preliminary hints on formalizing UML with Object Petri Nets, in: Proc. 6th World Conference on Integrated Design and Process Technology, Pasadena (USA), June 2002.
5. On formalizing UML with high-level Petri Nets, concurrent object-oriented programming and Petri Nets;Baresi,2001
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献