DSPNexpress
From MaRDI portal
Cited in
(21)- GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets
- TimeNET: a toolkit for evaluating non-Markovian stochastic Petri nets
- A case study for the application of deterministic and stochastic Petri nets in the SoC communication domain
- scientific article; zbMATH DE number 956816 (Why is no real title available?)
- scientific article; zbMATH DE number 1629917 (Why is no real title available?)
- Specifications and solution techniques for non-Markovian stochastic Petri nets
- scientific article; zbMATH DE number 749809 (Why is no real title available?)
- Revisiting the matrix-free solution of Markov regenerative processes.
- A new stochastic Petri net model and its applications to logistics systems
- Modeling discrete event systems with state-dependent deterministic service times
- Specification techniques for Markov reward models
- GreatSPN
- TimeNET
- GreatSPN 1.7
- PEPS
- POMDP
- MACOM
- SPNP
- ESP
- Constructing Petri net models using genetic search
- An improved numerical algorithm for calculating steady-state solutions of deterministic and stochastic Petri net models
This page was built for software: DSPNexpress
