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

DOI10.1007/S100090100057zbMath1053.68010OpenAlexW286212060WikidataQ126571934 ScholiaQ126571934MaRDI QIDQ5953455

Nisse Husberg, Teemu Tynjälä, Leo Ojala

Publication date: 2001

Published in: International Journal on Software Tools for Technology Transfer. STTT (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s100090100057

zbMATH Keywords

reachability analysishigh-level Petri nets

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Modelling and analysing a distributed dynamic channel allocation algorithm for mobile computing using high-level net methods