-
arXiv:2209.10323 [pdf, ps, other]
Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets
Abstract: A crucial question in analyzing a concurrent system is to determine its long-run behaviour, and in particular, whether there are irreversible choices in its evolution, leading into parts of the reachability space from which there is no return to other parts. Casting this problem in the unifying framework of safe Petri nets, our previous work has provided techniques for identifying attractors, i.e… ▽ More
Submitted 21 September, 2022; originally announced September 2022.
Comments: In Proceedings GandALF 2022, arXiv:2209.09333. This work was supported by the DIGICOSME grant ESCAPE DIGICOSME RD 242-ESCAPE-15203 and by the French Agence Nationale pour la Recherche (ANR) in the scope of the project ''BNeDiction'' (grant number ANR-20-CE45-0001)
Journal ref: EPTCS 370, 2022, pp. 178-193