scientific article
From MaRDI portal
Publication:3683544
zbMath0567.68034MaRDI QIDQ3683544
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Applications of Markov renewal processes (reliability, queueing networks, etc.) (60K20)
Related Items
Performance evaluation of concurrent systems using conflict-free and persistent Petri nets, Confusion control in generalized Petri nets using synchronized events, Performance bounds for stochastic timed Petri nets, A symbolic reachability graph for coloured Petri nets, Scheduling hard sporadic tasks with regular languages and generating functions., Diffusion approximation for signaling stochastic networks, Performance analysis of the \(M/G/c\) retrial queueing systems using the theory of Markov regenerative stochastic Petri nets., Petri nets for modeling of dynamic systems -- a survey
