TY - SER AU - Gomide, Fernando AU - Scarpelil, Heloisa AU - Yager, Ronald R. TI - A Reasoning Algorithm for High-Level Fuzzy Petri Nets KW - Reasoning KW - Algorithm KW - High-Level Fuzzy Petri Nets ER -