On hybrid Petri nets
From MaRDI portal
Publication:5930250
DOI10.1023/A:1008330914786zbMath0969.93024OpenAlexW1595871524MaRDI QIDQ5930250
Publication date: 18 September 2001
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1008330914786
Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (15)
Syntax and consistent equation semantics of hybrid Chi ⋮ Modeling and analysis using hybrid Petri nets ⋮ Modeling and control of hybrid timed event graphs with multipliers using (Min,+) algebra ⋮ Qualitative and quantitative integrated modeling for stochastic simulation and optimization ⋮ Bounded Model Checking of Analog and Mixed-Signal Circuits Using an SMT Solver ⋮ Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces ⋮ Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds ⋮ Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets ⋮ Fault-tolerant continuous flow systems modelling ⋮ ANALOG/MIXED-SIGNAL CIRCUIT VERIFICATION USING MODELS GENERATED FROM SIMULATION TRACES ⋮ Results and perspectives on fault tolerant control for a class of hybrid systems ⋮ A framework of fuzzy hybrid systems for modelling and control ⋮ Petri net-based approach to short-term scheduling of crude oil operations with less tank requirement ⋮ Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques ⋮ Simulating Markovian stochastic Petri nets by difference equations with interval parameters
This page was built for publication: On hybrid Petri nets
