Szukana fraza: [Abstract = "We provide a framework for hierarchical specification called Hierarchical Decision Process Petri Nets \(HDPPNs\). It is an extension of Decision Process Petri Nets \(DPPNs\) including a hierarchical decomposition process that generates less complex nets with equivalent behavior. As a result, the complexity of the analysis for a sophisticated system is drastically reduced. In the HDPPN, we represent the mark\-dynamic and trajectory\-dynamic properties of a DPPN."]