Mobile computing systems, service-based systems and some other with mobile interacting components have recently received much attention. However, because of their characteristics such as mobility disconnection, it is difficult to model analyze them by using a structure-fixed model. This work proposes new Petri net called Variable Net (VPN) for modeling analyzing these systems. The definition, f...