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

Leo Ojala, Nisse Husberg, Teemu Tynjälä

    Research output: Contribution to journalArticleScientificpeer-review

    Original languageEnglish
    Pages (from-to)382-393
    JournalInternational Journal on Software Tools for Technology Transfer
    Issue number4
    Publication statusPublished - 2001
    MoE publication typeA1 Journal article-refereed


    • high-level Petri nets
    • mobile computing
    • reachability analysis

    Cite this