Modeling and Analysis of Time-Critical Context-Aware Service Using Extended Interval Timed Colored Petri Nets

Seungwok Han, Hee Yong Youn. Modeling and Analysis of Time-Critical Context-Aware Service Using Extended Interval Timed Colored Petri Nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 42(3):630-640, 2012. [doi]

Abstract

Abstract is missing.