Modelling a distributed dynamic channel allocation algorithm for mobile computing using predicate/transition nets

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

Volumn 3, Issue , 1999, Pages

  Ojala, Leo ^a   Husberg, Nisse ^a   Blom, Simo ^a  

^a AALTO UNIVERSITY   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED DYNAMIC CHANNEL ALLOCATION; PREDICATE TRANSITION NET MODEL; REACHABILITY ANALYSIS;

COMMUNICATION CHANNELS (INFORMATION THEORY); DYNAMIC PROGRAMMING; FREQUENCY ALLOCATION; MATHEMATICAL MODELS; MOBILE COMPUTING; PETRI NETS;

ALGORITHMS;

EID: 18744430662     PISSN: 08843627     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (4)

1. R. Prakash, N. G. Shivaratri, and M. Singhal, "Distributed Dynamic Channel Allocation for Mobile Computing," in Proc. of the Fourteenth Annual ACM Symp. on Principles of Distributed Computing, pp. 47-56, ACM Press, 1995.
2. H. J. Genrich, "Predicate/Transition Nets," in Advances in Petri Nets 1986, Part I, Bad Honnef (W. Brauer, W. Reisig, and G. Rozenberg, eds.), vol. 254, pp. 207-247, Springer-Verlag, 1986.
3. Theoretical Computer Science Laboratory, Helsinki University of Technology, Maria - a Modular Reachability Analyzer, June 10 1999. Unpublished research plan 3.2.
4. N. Husberg, "Verifying SDL Programs Using Petri Nets," in Proc. of 1998 IEEE Int. Conf. on Systems, Man, and Cybernetics, October 11-14, 1998, San Diego, USA, pp. 208-213, 1998.