Korbicz, Józef - red. ; Uciński, Dariusz - red.
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. ; Within the framework of the mark-dynamic properties, we show that the HDPPN theoretic notions of (local and global) equilibrium and stability are those of the DPPN. As a result in the trajectory-dynamic properties framework, we obtain equivalent characterizations of that of the DPPN for final decision points and stability. We show that the HDPPN mark-dynamic and trajectory-dynamic properties of equilibrium, stability and final decision points coincide under some restrictions. We propose an algorithm for optimum hierarchical trajectory planning. The hierarchical decomposition process is presented under a formal treatment and is illustrated with application examples.
Zielona Góra: Uniwersytet Zielonogórski
AMCS, Volume 20, Number 2 (2010) ; click here to follow the link
Biblioteka Uniwersytetu Zielonogórskiego
Sep 7, 2021
Aug 13, 2018
47
https://zbc.uz.zgora.pl/publication/54951
Edition name | Date |
---|---|
A hierarchical decomposition of decision process petri nets for modeling complex systems | Sep 7, 2021 |
Clempner, Julio Korbicz, Józef - red. Uciński, Dariusz - red.
Clempner, Julio B. Poznyak, Alexander S. Korbicz, Józef - red. Uciński, Dariusz - red.
Clempner, Julio Korbicz, Józef - red. Uciński, Dariusz - red.
Opara, Adam Kania, Dariusz Korbicz, Józef - red. Uciński, Dariusz - red.
Patan, Krzysztof Korbicz, Józef - red. Uciński, Dariusz - red.
Kryazhimskii, Arkadii Triggiani, Roberto- ed. Maksimov, Vyacheslav I. - ed.
Barabasz, Adela Moczulska, Marta - red. Preston, Peter- red. jęz. Stankiewicz, Janina - red. nacz. Zmyślony, Roman - red. statyst. Adamczyk, Janusz- red. Skalik, Jan - red.
Stępień, Jakub Polański, Andrzej Wojciechowski, Konrad Korbicz, Józef - red. Uciński, Dariusz - red.