Bechtold, Gattung, Henniger, Paule, 1996. Test case generation for ATM protocols using high-level Petri net models, in: . Springer US.. https://doi.org/10.1007/978-0-387-35062-2_18