Modeling and analysis of operating systems using extended QN techniques and Petri nets

zbMATH Open0978.68042MaRDI QIDQ2753660

Stefan Greiner

Publication date: 11 November 2001

Published in: Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung (Informatik), Universität Erlangen-Nürnberg (Search for Journal in Brave)

zbMATH Keywords

Petri netsqueueing networks

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of operating systems (68N25)

This page was built for publication: Modeling and analysis of operating systems using extended QN techniques and Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2753660)