Modeling and Analysing DART Systems through Hight-Level Petri Nets