A counterexample to Thiagarajan's conjecture on regular event structures
J Chalopin, V Chepoi - Journal of Computer and System Sciences, 2020 - Elsevier
We provide a counterexample to a conjecture by Thiagarajan (1996, 2002) that regular
event structures correspond to event structures obtained as unfoldings of finite 1-safe Petri …
event structures correspond to event structures obtained as unfoldings of finite 1-safe Petri …