DSPNexpress
From MaRDI portal
Software:19947
swMATH7931MaRDI QIDQ19947FDOQ19947
Author name not available (Why is that?)
Cited In (13)
- Constructing Petri net models using genetic search
- A case study for the application of deterministic and stochastic Petri nets in the SoC communication domain
- Title not available (Why is that?)
- Modeling discrete event systems with state-dependent deterministic service times
- Specification techniques for Markov reward models
- GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets
- TimeNET: a toolkit for evaluating non-Markovian stochastic Petri nets
- Title not available (Why is that?)
- Title not available (Why is that?)
- A new stochastic Petri net model and its applications to logistics systems
- Revisiting the matrix‐free solution of Markov regenerative processes
- Specifications and solution techniques for non-Markovian stochastic Petri nets
- An improved numerical algorithm for calculating steady-state solutions of deterministic and stochastic Petri net models
This page was built for software: DSPNexpress
