A tool for automated test code generation from high-level Petri nets

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.