Jun Shen Yun Yang Junzhou Luo A Petri Net Model for Session Services. 303-314 2002 conf/edcis/2002 EDCIS http://dx.doi.org/10.1007/3-540-45785-2_24 db/conf/edcis/edcis2002.html#ShenYL02