Improving UML with Petri nets

  title={Improving UML with Petri nets},
  author={Luciano Baresi and Mauro Pezz{\`e}},
  journal={Electr. Notes Theor. Comput. Sci.},
UML is the OMG standard notation for object-oriented modeling. It is easy, graphical and appealing, but in several cases still too imprecise. UML is strong as modeling means, supplies several different diagrammatic notations for representing the different aspects of a system under development, but lacks simulation and verifiability capabilities. This drawback comes from its semi-formal nature: UML is extremely precise and wide if we consider syntactical aspects, but its semantics is as precise… CONTINUE READING