The Simulated Tree-Growth Algorithm Based on T-Invariants for State Reduction of Petri Nets.

Xiong Xu, Li Jiao, Ziming Zhu

Browse the full CEC paper archive.