(machine robotLadrillos

(var ladrillosAzules := [30])
(var ladrillosAmarillos := [30])
(var movingY := [false])
(var movingB := [false])
(var moving := [false])
(var total := [60])

(event move [moving])
(event yellow [movingY])
(event blue [movingB])


(state repartidor)
(state amarillo (onentry [movingY := true. ladrillosAmarillos := ladrillosAmarillos-1. total := total-1])
(onexit[movingY := false. movingB := true]))
(state azul
	(onentry [movingB := true. ladrillosAzules := ladrillosAzules-1. total := total-1]))
(state standBy (onentry [moving := false]))

(on move repartidor -> amarillo)
(on move repartidor -> azul)
(on blue amarillo -> repartidor)
(on blue azul -> repartidor)
)
(spawn robotLadrillos repartidor)