Pomset bisimulation and unfolding for reset Petri nets

Thomas Chatain, Maurice Comlan, David Delfieu, Loïg Jezequel, Olivier Henri Roux. Pomset bisimulation and unfolding for reset Petri nets. Inf. Comput., 283:104674, 2022. [doi]

Abstract

Abstract is missing.