Jie Sun 0003 Yongping Zhang Kejia He A Petri-Net Based Context Representation in Smart Car Environment. 162-173 2010 GPC https://doi.org/10.1007/978-3-642-13067-0_20 conf/gpc/2010 db/conf/gpc/gpc2010.html#SunZH10