Cited in
(58)- Exploiting colored Petri nets to decide on permutation admissibility
- scientific article; zbMATH DE number 1956597 (Why is no real title available?)
- Concurrency and composition in a stochastic world
- scientific article; zbMATH DE number 1946767 (Why is no real title available?)
- scientific article; zbMATH DE number 1706364 (Why is no real title available?)
- scientific article; zbMATH DE number 1706375 (Why is no real title available?)
- sPBC: a Markovian extension of Petri box calculus with immediate multiactions
- Applications and Theory of Petri Nets 2004
- scientific article; zbMATH DE number 1629917 (Why is no real title available?)
- scientific article; zbMATH DE number 2087801 (Why is no real title available?)
- Colored stochastic Petri nets for modelling and analysis of multiclass retrial systems
- Asynchronous composition of high level Petri nets: a quantitative approach
- A new approach combining simulation and randomization for the analysis of large continuous time Markov chains
- Evolutionary design through reflective Petri nets: an application to workflow
- Improving Static Variable Orders Via Invariants
- scientific article; zbMATH DE number 1696449 (Why is no real title available?)
- A distributed algorithm for GSPN reachability graph generation
- Exploiting partial symmetries for Markov chain aggregation
- A Reachability Algorithm for General Petri Nets Based on Transition Invariants
- Coupling and importance sampling for statistical model checking
- scientific article; zbMATH DE number 1701773 (Why is no real title available?)
- Mean value analysis of stochastic Petri nets
- GreatSPN
- TimeNET
- DrawNET++
- MOTOR
- SHARPE
- PROD
- SMART_
- Helena
- SYROCO
- APNN-Toolbox
- P-Semiflow Computation with Decision Diagrams
- DSPNexpress
- SPNP
- QNAT
- PEPA
- HASL
- ESP
- SPNica
- PEP
- Implementing compositionality for stochastic Petri nets
- lcpSim
- MOSEL
- On the Applicability of Stochastic Petri Nets for Analysis of Multiserver Retrial Systems with Different Vacation Policies
- Synthesis and analysis of product-form Petri nets
- Introduction to generalized stochastic Petri nets
- The how and why of interactive Markov chains
- Applications and Theory of Petri Nets 2005
- Möbius
- Integrating synchronization with priority into a Kronecker representation
- Applications and Theory of Petri Nets 2004
- Integrating TwoTowers and GreatSPN through a compact net semantics
- Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms
- Constructing Petri net models using genetic search
- scientific article; zbMATH DE number 1950516 (Why is no real title available?)
- Performance analysis of retrial queueing systems using generalized stochastic Petri nets
- Markov regenerative stochastic Petri nets with general execution policies: supplementary variable analysis and a prototype tool
This page was built for software: GreatSPN 1.7
