Return to Article Details Modelling and Analysis of Mobile Computing Systems: An Extended Petri Nets Formalism Download Download PDF