×

Performance evaluation of asynchronous concurrent systems using Petri nets. (English) Zbl 0444.68044


MSC:

68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68N25 Theory of operating systems
PDFBibTeX XMLCite
Full Text: DOI