一种面向数字孪生虚拟调试的层次化并发状态迁移网方法

本发明涉及一种面向数字孪生虚拟调试的层次化并发状态迁移网方法，列举了该方法所具有机制的主要原理与结构以及主要构建流程；该方法通过复合状态与子网机制实现宏观流程与微观执行细节的分层抽象管理，利用全局事件发布—响应与跨子网状态依赖机制实现并发组件间的动态联动与同步互锁，并结合全局资源令牌机制完成共享资源的互斥访问与释放。基于此，能够在虚拟调试环境中生成可视化且可验证的并发流程模型，并支持死锁检测与资源瓶颈分析，从而显著提升复杂生产单元或软件系统数字孪生虚拟调试的准确性、可靠性和可维护性。