Secret Protection in Labeled Petri Nets

Stefan Haar, Tomás Masopust, Jakub Vecera. Secret Protection in Labeled Petri Nets. In 18th International Workshop on Discrete Event Systems, WODES 2026, Eindhoven, Netherlands, June 8-10, 2026. pages 13-18, IEEE, 2026. [doi]

Abstract

Abstract is missing.