scientific article; zbMATH DE number 817539

MaRDI QIDQ4854910zbMATH OpenFDO

Authors Zhitong Huang, Jiacun Wong

Publication date 18 July 1996

zbMATH Keywords

hybrid statenon-Markovianperformance evaluationstochastic Petri net

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Stochastic systems in control theory (general) (93E03)

Recommendations

• A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets
• scientific article; zbMATH DE number 1538066
• scientific article; zbMATH DE number 1294068
• scientific article; zbMATH DE number 2243054
• Specifications and solution techniques for non-Markovian stochastic Petri nets

Cited in

(10)

• Two-layer symbolic representation for stochastic models with phase-type distributed events
• A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets
• scientific article; zbMATH DE number 1538066 (Why is no real title available?)
• Hybrid analysis of SGSPNs with time-dependent transition rates
• Region-based analysis of hybrid Petri nets with a single general one-shot transition
• A hybrid multi-trajectory simulation algorithm for the performance evaluation of stochastic Petri nets
• Model checking HPnGs in multiple dimensions: representing state sets as convex polytopes
• State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings
• State-space construction of hybrid Petri nets with multiple stochastic firings
• Integrating simulation and numerical analysis in the evaluation of generalized stochastic Petri nets

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4854910)