Petri nets analysis of transaction and submitter management protocols in mobile distributed computing environment. - Arkady B. Zaslavsky; L. H. Yeo; Simon J. Lai; Boris Mitelman (ICCCN, 1995)