\(B\)-fairness and structural \(B\)-fairness in Petri net models of concurrent systems

From MaRDI portal
Publication:1191025