Petri Net Based on Behavior of Token and Its Applications. - Na Zhang; Yanping Li; Enhai Zhang (ICAIC (4), 2011)