DSPNexpress

swMATH7931MaRDI QIDQ19947FDOQ19947

Author name not available (Why is that?)

Official website: http://wwwg.uni-klu.ac.at/asi/easa/submissions/DSPNexpress.html

Cited In (18)

• 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
• Revisiting the matrix-free solution of Markov regenerative processes.
• 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?)
• GreatSPN
• TimeNET
• MACOM
• SPNP
• ESP
• A new stochastic Petri net model and its applications to logistics systems
• 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