A robot architecture validating method with Agent Oriented Hierarchical Petri Net | IEEE Conference Publication | IEEE Xplore