Augmented reachability trees for 1-place-unbounded generalized Petri nets. - MuDer Jeng; Mao Yu Peng (IEEE Trans. Syst. Man Cybern. Part A, 1999)

Process nets with resources for manufacturing modeling and their analysis. - MuDer Jeng; Xiaolan Xie; Mao Yu Peng (IEEE Trans. Robotics Autom., 2002)