Piecewise deterministic Markov processes represented by dynamically coloured Petri nets

DOI10.1080/17442500512331341040zbMath1073.60038OpenAlexW2039709368MaRDI QIDQ5460723

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

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

modellinghybrid systemsPoisson processhigh-level Petri netsdiscrete event systems

Mathematics Subject Classification ID

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

Related Items (2)

Model checking HPnGs in multiple dimensions: representing state sets as convex polytopes ⋮ Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains

Uses Software

• UMDES

Cites Work

• Petri nets for modeling of dynamic systems -- a survey
• Differential Petri nets: representing continuous systems in a discrete-event world
• Unnamed Item

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