Property preserving petri net process algebra in software engineering - Huang, Hejiao; Jiao, Li; Cheung, To - Yat; Mak, Wai Ming (New Jersey Worlds Scientific, 2012)
Keywords: Petri nets; System design