Chieh-ying Kan Xudong He A Method for Constructing Algebraic Petri Nets. 15-27 1996 35 Journal of Systems and Software 1 db/journals/jss/jss35.html#KanH96