Dianxiang Xu. A Tool for Automated Test Code Generation from High-Level Petri Nets. In Lars M. Kristensen, Laure Petrucci, editors, Applications and Theory of Petri Nets - 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings. Volume 6709 of Lecture Notes in Computer Science, pages 308-317, Springer, 2011. [doi]
Abstract is missing.