GreatSPN

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