S-nets: A Petri net based model for performance evaluation of real-time scheduling algorithms

DOI10.1016/0743-7315(92)90005-8zbMath0763.68017OpenAlexW2003777166MaRDI QIDQ1200150

S. Singh

Publication date: 17 January 1993

Published in: Journal of Parallel and Distributed Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0743-7315(92)90005-8

zbMATH Keywords

real-time systemsscheduling algorithms\(S\)-nets

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: S-nets: A Petri net based model for performance evaluation of real-time scheduling algorithms