Modelling real-time systems by extending the notion of Petri nets

From MaRDI portal
Publication:1335781