TY - RPRT TI - Framework for Formal Modelling of Metaverse Applications Using Hierarchical Colored Petri Nets AU - Maryam Amin AU - Umara Noor AU - Zahid Rashid AU - Jorn Altmann PY - 2025 UR - https://arxiv.org/abs/2509.10936 ID - 2509.10936 ER -