Bechtold, et al.. Test Case Generation for ATM Protocols Using High-level Petri Net Models. Springer US, 1996, doi:10.1007/978-0-387-35062-2_18.