Petri nets analysis of transaction and submitter management protocols in mobile distributed computing environment | IEEE Conference Publication | IEEE Xplore