@article{art481,
  title = {TRANSFORMATION OF UML ACTIVITY DIAGRAMS INTO PETRI NETS FOR VERIFICATION PURPOSES},
  url = {https://mail.ijecs.in/index.php/ijecs/article/view/481}
}