GreatSPN
From MaRDI portal
Cited in
(94)- Exploiting colored Petri nets to decide on permutation admissibility
- TimeNET
- DrawNET++
- GreatSPN 1.7
- LOTOS
- PROD
- PEPS
- PNML
- Constructing Petri net models using genetic search
- libDDD
- SMART_
- Möbius
- Helena
- Renew
- SYROCO
- MCQueue
- Structured analysis approaches for large Markov chains
- APNN-Toolbox
- Representation and analysis of behavior for multiprocess systems by using stochastic Petri nets
- DSPNexpress
- SPNP
- DataCutter
- Crocodile
- PEPA
- Approximate analysis of biological systems by hybrid switching jump diffusion
- Colored stochastic Petri nets for modelling and analysis of multiclass retrial systems
- ERS
- Nested-unit Petri nets
- MARCIE
- HASL
- ESP
- SPNica
- Petriweb
- Exploiting partial symmetries for Markov chain aggregation
- scientific article; zbMATH DE number 1696449 (Why is no real title available?)
- scientific article; zbMATH DE number 1701773 (Why is no real title available?)
- Relax NG
- PEP
- Performance analysis of retrial queueing systems using generalized stochastic Petri nets
- The conversion of dynamic fault trees to stochastic Petri nets, as a case of graph transformation
- Coupling and importance sampling for statistical model checking
- Crocodile: a symbolic/symbolic tool for the analysis of symmetric nets with bag
- lcpSim
- The how and why of interactive Markov chains
- Introduction to generalized stochastic Petri nets
- CPN-AMI
- GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets
- Mean value analysis of stochastic Petri nets
- Hy3S
- On the Applicability of Stochastic Petri Nets for Analysis of Multiserver Retrial Systems with Different Vacation Policies
- Automatic Symmetry Detection in Well-Formed Nets
- Concurrency and composition in a stochastic world
- sPBC: a Markovian extension of Petri box calculus with immediate multiactions
- Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms
- Improving Static Variable Orders Via Invariants
- Evolutionary design through reflective Petri nets: an application to workflow
- P-Semiflow Computation with Decision Diagrams
- MaRDiGraS
- Twister
- scientific article; zbMATH DE number 42414 (Why is no real title available?)
- PNML2NUPN
- NUPN_INFO
- PNMC
- Meddly
- caesar.bdd
- ITS-Tools
- LOEWE
- MOSEL
- A new approach combining simulation and randomization for the analysis of large continuous time Markov chains
- An improved numerical algorithm for calculating steady-state solutions of deterministic and stochastic Petri net models
- scientific article; zbMATH DE number 1946767 (Why is no real title available?)
- scientific article; zbMATH DE number 1950516 (Why is no real title available?)
- scientific article; zbMATH DE number 1956597 (Why is no real title available?)
- Integrating synchronization with priority into a Kronecker representation
- Asynchronous composition of high level Petri nets: a quantitative approach
- Computing the throughput of probabilistic and replicated streaming applications
- scientific article; zbMATH DE number 2087801 (Why is no real title available?)
- scientific article; zbMATH DE number 2087811 (Why is no real title available?)
- Performance evaluation of Web proxy cache replacement policies
- Markov regenerative stochastic Petri nets with general execution policies: supplementary variable analysis and a prototype tool
- Integrating TwoTowers and GreatSPN through a compact net semantics
- Analysis of Petri net models through stochastic differential equations
- MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters
- SMP-tool
- Applications and Theory of Petri Nets 2004
- Applications and Theory of Petri Nets 2004
- Applications and Theory of Petri Nets 2005
- A Reachability Algorithm for General Petri Nets Based on Transition Invariants
- A distributed algorithm for GSPN reachability graph generation
- Petri net-based modelling of workflow systems: An overview
- Implementing compositionality for stochastic Petri nets
- Repeatability package
- Simplification of a complex signal transduction model using invariants and flow equivalent servers
- Transient analysis of hierarchical semi-Markov process models with tool support in Stateflow
This page was built for software: GreatSPN
