Petri net model and the e - application development | IEEE Conference Publication | IEEE Xplore