Analyzing the Execution Architecture of Mobile Phone Software with Colored Petri Nets

Jianli Xu, Juha Kuusela. Analyzing the Execution Architecture of Mobile Phone Software with Colored Petri Nets. STTT, 2(2):133-143, 1998. [doi]

Abstract

Abstract is missing.