On the Complexity of Some State-Counting Problems for Bounded Petri Nets

From MaRDI portal
Publication:2982896