Abstract: Petri nets (PNs) are graphical and mathematical tools used to model a variety of discrete event systems and analyze their properties. Reachability is their fundamental property that is ...
Abstract: We characterize the reachability probabilities in stochastic directed graphs by means of reinforcement learning methods. In particular, we show that the dynamics of the transition ...