Developing Context-aware Applications for Cyber Physical Systems based on Discrete Timed Petri Nets | IEEE Conference Publication | IEEE Xplore