Modelling and analysing a distributed dynamic channel allocation algorithm for mobile computing using high-level net methods

International Journal on Software Tools for Technology Transfer

Volumn 3, Issue 4, 2001, Pages 382-393

  Ojala, Leo ^a   Husberg, Nisse ^a   Tynjälä, Teemu ^a  

^a AALTO UNIVERSITY   (Finland)

Author keywords

High level petri nets; Mobile computing; Reachability analysis

Indexed keywords

CHANNEL CONFIGURATION; DEADLOCK-FREE; DISTRIBUTED DYNAMICS; HIGH-LEVEL NETS; HIGH-LEVEL PETRI NETS; MODELLING AND ANALYSIS; PREDICATE/TRANSITION NET; REACHABILITY ANALYSIS;

ALGORITHMS; PETRI NETS;

MOBILE COMPUTING;

EID: 84896690220     PISSN: 14332779     EISSN: 14332787     Source Type: Journal    
DOI: 10.1007/s100090100057     Document Type: Article

References (11)

1. Cheng, M., Chuang, J.: Performance evaluation of distributed measurement-based dynamic channel assignment in local wireless communications. IEEE J Sel Areas Comm 14(4): 698-710, 1996
2. Forman, G.H., Zahorjan, J.: The challenges of mobile computing. UW CSE Tech Report #93-11-03, University of Washington, Computer Science & Engineering, March 1994
3. Genrich, H.G.: Predicate/Transition nets. In: Brauer, W., Reisig, W. Rozenberg, G. (eds.): Petri nets: applications and relationships to other models of concurrency, Part I. LNCS 254. Berlin, Heidelberg, New York: Springer-Verlag, 1987, pp. 207-247
4. Lamport, L.: Time, clocks and the ordering of events in a distributed system. Comm ACM, 21(7): 558-565, 1978
5. Lee, W.C.Y.: Mobile communication design fundamentals. Wiley, New York, 1993
6. Maria: a modular reachability analyser. http://www.tcs.hut.fi/maria
7. Mäkelä, M.: A reachability analyser for algebraic system nets. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, March 2000
8. Ojala, L., Husberg, N., Blom, S.: Modelling a distributed dynamic channel allocation algorithm for mobile computing using predicate/transition nets. In: Proc. of 1999 IEEE Int. Conf. on Systems, Man, and Cybernetics, October 12-15, 1999, Tokyo, Japan. IEEE, New York, 1999
9. Ojala, L., Husberg, N., Tynjälä, T.: Modelling a distributed wireless channel allocation algorithm for cellular systems with mobile base stations using predicate/transition nets. In: Proc. of World Multiconference on Systems, Cybernetics and Informatics SCI2000/ISAS2000, Orlando, Fla., USA, July 23-26, pp. 678-683. International Institute of Informatics and Sys-temics, 2000
10. Prakash, R., Nesargi, S.: Distributed wireless channel allocation in networks with mobile base stations. In: Proc. INFO-COM'99, pp. 592-600, March 1999
11. Prakash, R., Shivaratri, N.G., Singhal, M.: Distributed dynamic channel allocation for mobile computing. In: Proc. 14th Annual ACM Symposium on Principles of Distributed Computing, pp. 47-56, 1995