Seungwok Han, Sung-Keun Song, Hee Yong Youn. Modeling and Verification of Context-Awareness Service for Time Critical Applications Using Colored Petri-Net. In Proceedings of the 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Sydney, NSW, Australia, December 9-12, 2008. pages 71-74, IEEE, 2008. [doi]
Abstract is missing.