A Condition Event Network will be created to describe and test the user's navigation through the app. The Petri net could use transitions to represent navigating to a certain page within the app, and places as the required states and conditions that need to be met for navigating to that page.
A Condition Event Network will be created to describe and test the user's navigation through the app. The Petri net could use transitions to represent navigating to a certain page within the app, and places as the required states and conditions that need to be met for navigating to that page.
Additional to the "Petri Nets" section in Moodle, these two videos by Purdue professor Dr Richard Voyles could serve as additional resources to better understand PetriNet usage. https://youtu.be/GCsVxWh995o?si=xQG46SW-53G3PfO1 https://youtu.be/WGSAi9-QUwk?si=0_hgtQ2_YhRtkt-z