On the Approximation of the Resource Equivalences in Petri Nets with the Invisible Transitions

From MaRDI portal