Piecewise deterministic Markov processes represented by dynamically coloured Petri nets

DOI10.1080/17442500512331341040MaRDI QIDQ5460723zbMATH OpenOpenAlexFDO

Authors Mariken H. C. Everdij, Henk A. P. Blom

Publication date 18 July 2005

Published in Stochastics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/17442500512331341040

zbMATH Keywords

discrete event systemshigh-level Petri netshybrid systemsmodellingPoisson process

Mathematics Subject Classification ID

General theory of stochastic processes (60G07) Transition functions, generators and resolvents (60J35) Stochastic systems in control theory (general) (93E03)

Recommendations

• Hybrid Petri nets with diffusion that have into-mappings with generalised stochastic hybrid processes
• scientific article; zbMATH DE number 1786473
• scientific article; zbMATH DE number 749809
• Discrete Time Stochastic Petri Nets
• Modeling and analysis using hybrid Petri nets

Cites work

• Differential Petri nets: representing continuous systems in a discrete-event world
• scientific article; zbMATH DE number 45955 (Why is no real title available?)
• Petri nets for modeling of dynamic systems -- a survey

Cited in

(9)

• Colored decision process Petri nets modeling analysis and stability
• Hybrid Petri nets with diffusion that have into-mappings with generalised stochastic hybrid processes
• Communicating piecewise deterministic Markov processes
• Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains
• Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms
• On the Use of the Power Series Algorithm for General Markov Processes, with an Application to a Petri Net
• scientific article; zbMATH DE number 1956626 (Why is no real title available?)
• Hybrid Systems: Computation and Control
• Model checking HPnGs in multiple dimensions: representing state sets as convex polytopes

Describes a project that uses

Uses Software

• UMDES

This page was built for publication: Piecewise deterministic Markov processes represented by dynamically coloured Petri nets

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