Proposal: Petri Net Markup Language extension for Upgraded Petri net Gašević Dragan, Belgrade, Yugoslavia