TY - RPRT TI - Simplification of Robotic System Model Analysis by Petri Net Meta-Model Property Transfer AU - Maksym Figat AU - Cezary ZieliƄski PY - 2025 DO - 10.1109/access.2026.3663096 UR - https://arxiv.org/abs/2407.06454 ID - 2407.06454 ER -