Analysis of Soccer Robot Behaviors Using Time Petri Nets. - Daniel Ponsini; Yilin Yang; Seung-Yun Kim (IRI, 2016)

Prioritized Situation Awareness for Soccer Robots Using Timed Transition Petri Nets. - Max Weissman; Daniel Ponsini; Seung-Yun Kim (IRI, 2018)