Publication:3683544
From MaRDI portal
zbMath0567.68034MaRDI QIDQ3683544
Publication date: 1985
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
60K20: Applications of Markov renewal processes (reliability, queueing networks, etc.)
Related Items
Performance bounds for stochastic timed Petri nets, Performance evaluation of concurrent systems using conflict-free and persistent Petri nets, Petri nets for modeling of dynamic systems -- a survey, A symbolic reachability graph for coloured Petri nets, Scheduling hard sporadic tasks with regular languages and generating functions., Confusion control in generalized Petri nets using synchronized events, 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.