A study on the development of Petri Net methodology for the development of distributed applications