GreatSPN 1.7

swMATH1562MaRDI QIDQ14268FDOQ14268

Author name not available (Why is that?)

Described by source

• GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets

Cited In (37)

• Applications and Theory of Petri Nets 2004
• 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
• Title not available (Why is that?)
• A Reachability Algorithm for General Petri Nets Based on Transition Invariants
• Title not available (Why is that?)
• Title not available (Why is that?)
• P-Semiflow Computation with Decision Diagrams
• Integrating synchronization with priority into a Kronecker representation
• Title not available (Why is that?)
• 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
• Integrating TwoTowers and GreatSPN through a compact net semantics
• Improving Static Variable Orders Via Invariants
• Applications and Theory of Petri Nets 2004
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Performance analysis of retrial queueing systems using generalized stochastic Petri nets
• Mean value analysis of stochastic Petri nets
• Synthesis and Analysis of Product-Form Petri Nets
• 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
• 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

This page was built for software: GreatSPN 1.7