For decades, engineers have utilized Petri nets to develop automated systems with specific functional requirements or ...