Xu, Dianxiang. 2011. “A tool for automated test code generation from high-level Petri nets”. International Conference on Application and Theory of Petri Nets and Concurrency, 308-17. Last updated on 07/19/2023