Synchrony vs. causality in asynchronous Petri nets

From MaRDI portal
Publication:4965864