Comparison of hybrid systems and fluid stochastic Petri nets

DOI10.1023/A:1008387132533zbMath0973.93028OpenAlexW2037237815MaRDI QIDQ5930253

Bruno Tuffin, Dongsheng Chen, Kishor S. Trivedi

Publication date: 11 November 2001

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1008387132533

zbMATH Keywords

hybrid systemstransformationsfluid modelsstochastic Petri netsuncertainties

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Transformations (93B17) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour ⋮ HYPE: hybrid modelling by composition of flows ⋮ HYPE Applied to the Modelling of Hybrid Biological Systems

Uses Software

• HyTech
• SPNP

This page was built for publication: Comparison of hybrid systems and fluid stochastic Petri nets