Structural analysis and sequential resolution for estimation of guaranteed horizons in partially observable Petri nets

Philippe Declerck. Structural analysis and sequential resolution for estimation of guaranteed horizons in partially observable Petri nets. Discrete Event Dynamic Systems, 35(1):23-49, March 2025. [doi]

Abstract

Abstract is missing.