GreatSPN
From MaRDI portal
Software:13144
swMATH384MaRDI QIDQ13144FDOQ13144
Author name not available (Why is that?)
Cited In (51)
- Applications and Theory of Petri Nets 2004
- The conversion of dynamic fault trees to stochastic Petri nets, as a case of graph transformation
- Coupling and Importance Sampling for Statistical Model Checking
- Constructing Petri net models using genetic search
- Markov regenerative stochastic Petri nets with general execution policies: supplementary variable analysis and a prototype tool
- A Reachability Algorithm for General Petri Nets Based on Transition Invariants
- Automatic Symmetry Detection in Well-Formed Nets
- Title not available (Why is that?)
- Transient analysis of hierarchical semi-Markov process models with tool support in Stateflow
- Title not available (Why is that?)
- Nested-unit Petri nets
- P-Semiflow Computation with Decision Diagrams
- Integrating synchronization with priority into a Kronecker representation
- Title not available (Why is that?)
- Title not available (Why is that?)
- Petri net-based modelling of workflow systems: An overview
- GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets
- A distributed algorithm for GSPN reachability graph generation
- Title not available (Why is that?)
- Implementing compositionality for stochastic Petri nets
- Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms
- Title not available (Why is that?)
- The How and Why of Interactive Markov Chains
- Exploiting colored Petri nets to decide on permutation admissibility
- Approximate analysis of biological systems by hybrid switching jump diffusion
- Analysis of Petri Net Models through Stochastic Differential Equations
- Integrating TwoTowers and GreatSPN through a compact net semantics
- Improving Static Variable Orders Via Invariants
- Title not available (Why is that?)
- Applications and Theory of Petri Nets 2004
- Computing the throughput of probabilistic and replicated streaming applications
- MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters
- Performance evaluation of Web proxy cache replacement policies
- sPBC: a Markovian extension of Petri box calculus with immediate multiactions
- Evolutionary design through reflective Petri nets: an application to workflow
- Applications and Theory of Petri Nets 2005
- Performance analysis of retrial queueing systems using generalized stochastic Petri nets
- An improved numerical algorithm for calculating steady-state solutions of deterministic and stochastic Petri net models
- Mean value analysis of stochastic Petri nets
- Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag
- Simplification of a complex signal transduction model using invariants and flow equivalent servers
- A new approach combining simulation and randomization for the analysis of large continuous time Markov chains
- Colored stochastic Petri nets for modelling and analysis of multiclass retrial systems
- On the Applicability of Stochastic Petri Nets for Analysis of Multiserver Retrial Systems with Different Vacation Policies
- Structured analysis approaches for large Markov chains
- Title not available (Why is that?)
- Concurrency and Composition in a Stochastic World
- Introduction to Generalized Stochastic Petri Nets
- Exploiting partial symmetries for Markov chain aggregation
- Asynchronous composition of high level Petri Nets: A quantitative approach
- Representation and analysis of behavior for multiprocess systems by using stochastic Petri nets
This page was built for software: GreatSPN