Modeling and analysis of tandem AGV systems using generalized stochastic petri nets

2002 ◽  
Vol 21 (6) ◽  
pp. 479
Keyword(s):  
Petri Nets ◽  
Stochastic Petri Nets ◽  
Modeling And Analysis ◽  
Generalized Stochastic Petri Nets ◽  
Agv Systems

Modeling and Analysis of Soccer Robot Tasks Using Generalized Stochastic Petri Nets

2010 ◽  
Vol 166-167 ◽  
pp. 133-138
Author(s):  
Daniela Coman ◽  
Nicu Bizdoaca ◽  
Anca Petrisor ◽  
Adela Ionescu ◽  
Mihaela Florescu
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Visual Recognition ◽  
Resource Constraints ◽  
Stochastic Petri Nets ◽  
Learning From Experience ◽  
Soccer Robot ◽  
Modeling And Analysis ◽  
Generalized Stochastic Petri Nets ◽  
Robot Tasks

Robot soccer competition provides an excellent opportunity for robotics research. In particular, the soccer robots must perform real-time visual recognition, navigate in a dynamic field, avoid the obstacle, collaborate with teammates, and kick the ball in the correct direction. All these tasks demand robots that are autonomous (sensing, thinking, and acting as independent creatures), efficient (functioning under time and resource constraints), cooperative (collaborating with each other robot to accomplish tasks that are beyond individual’s capabilities), and intelligent (reasoning and planing actions and perhaps learning from experience). This paper proposes a method of defining and analysing the attacking robot tasks using Petri nets. Attacking soccer robot behaviors are modeled using the generalized stochastic Petri nets. Using Petri nets allows qualitative and quantitative analysis of the task execution. Petri net model is implemented in Petri Net Toolbox under MATLAB environment. Therefore, it is validated the net topology, the evolution of (their dynamics), the structural and behavioral properties (corresponding to checking if resources usage is stable and the model have no deadlocks), as well as the stochastic performance.

Sign in / Sign up

Export Citation Format

Share Document