Ingen varer
Kassen / rediger kurv
Petri nets are a popular and powerful formal model for the analysis and modelling of concurrent systems. The text is very clearly organised, with every notion carefully explained... Læs mere