Manon Le Moigne, Rémi Parrot, Olivier H. Roux. Active identification of safe Petri nets with interleaving and maximal step semantics. In 18th International Workshop on Discrete Event Systems, WODES 2026, Eindhoven, Netherlands, June 8-10, 2026. pages 199-204, IEEE, 2026. [doi]
Abstract is missing.