This paper provides an overview of attitude coordination problems of multi-rigid-body with the goal of promoting research in this area. Theoretical results rega
As a powerful analysis tool of Petri nets, reachability trees are fundamental for systematically investigating many characteristics such as boundedness, livenes