1. the text in case an unknown place/transition name is used says "... transitionswere used ..."
so there is missing a space (separator)
2. if you misspell place name in a query, it show the name correctly, however, for misspelled transitions, it does not show the transition name (the list is empty)
Almost works, two small issues:
1. the text in case an unknown place/transition name is used says "... transitionswere used ..."
so there is missing a space (separator)
2. if you misspell place name in a query, it show the name correctly, however, for misspelled transitions, it does not show the transition name (the list is empty)