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
• 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
• The how and why of interactive Markov chains
• 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?)
• Exploiting colored Petri nets to decide on permutation admissibility
• Asynchronous composition of high level Petri nets: a quantitative approach
• Integrating TwoTowers and GreatSPN through a compact net semantics
• Synthesis and analysis of product-form Petri nets
• Concurrency and composition in a stochastic world
• 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
• Introduction to generalized stochastic Petri nets
• 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
• Coupling and importance sampling for statistical model checking
• Mean value analysis of stochastic 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?)
• Exploiting partial symmetries for Markov chain aggregation

This page was built for software: GreatSPN 1.7