Discrete, Continuous, and Hybrid Petri Nets

DOI10.1007/b138130zbMath1074.93002OpenAlexW1505489763MaRDI QIDQ4827468

Hassane Alla, René David

Publication date: 18 November 2004

Full work available at URL: https://doi.org/10.1007/b138130

zbMATH Keywords

hybrid systemsPetri netshybrid Petri netssynchronized Petri netstimed Petri netsgraph-theoretic methodsGrafcet

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Discrete event control/observation systems (93C65) Research exposition (monographs, survey articles) pertaining to systems and control theory (93-02) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Related Items (40)

Identification of biological transition systems using meta-interpreted logic programs ⋮ Lumpability for uncertain continuous-time Markov chains ⋮ Basic server semantics and performance monotonicity of continuous Petri nets ⋮ Determinization of timed Petri nets behaviors ⋮ Dependent shrink of transitions for calculating firing frequencies in signaling pathway Petri net model ⋮ Confusion control in generalized Petri nets using synchronized events ⋮ Correction to: ``Synchronizing sequences on a class of unbounded systems using synchronized Petri nets ⋮ Fluid approximation of Petri net models with relatively small populations ⋮ Monitoring of dynamic processes by rectangular hybrid automata ⋮ Petri nets for modelling metabolic pathways: a survey ⋮ Encoding the dynamics of deterministic systems ⋮ Production scheduling with alternative process plans ⋮ Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets ⋮ Checking system boundedness using ordinary differential equations ⋮ Preface: Petri nets for systems and synthetic biology ⋮ Control of discrete event systems by means of discrete optimization and disjunctive colored PNs: application to manufacturing facilities ⋮ Tracking control of join-free timed continuous Petri net systems under infinite servers semantics ⋮ IPA for continuous stochastic marked graphs ⋮ Preface: Petri nets for systems and synthetic biology ⋮ Reduction of constraints for controller synthesis based on safe Petri nets ⋮ Real-time emulation of boost inverter using the systems modeling language and Petri nets ⋮ Dynamics and steady state analysis of controlled generalized batches Petri nets ⋮ A Petri net approach to the study of persistence in chemical reaction networks ⋮ Symmetries in timed continuous Petri nets ⋮ Approaching minimum time control of timed continuous Petri nets ⋮ Petri nets as a framework for the reconstruction and analysis of signal transduction pathways and regulatory networks ⋮ First-order hybrid Petri nets. An application to distributed manufacturing systems ⋮ One novel and optimal deadlock recovery policy for flexible manufacturing systems using iterative control transitions strategy ⋮ Enzymatic competition: Modeling and verification with timed hybrid Petri nets ⋮ Symbolic computation of differential equivalences ⋮ Model predictive control of P-time event graphs ⋮ Modeling and Analysis of Transportation Networks Using Batches Petri Nets with Controllable Batch Speed ⋮ Modeling the process of human body iron homeostasis using a variant of timed Petri nets ⋮ Post and pre-initialized stopwatch Petri nets: formal semantics and state space computation ⋮ A COTS-based approach for estimating performance and energy consumption of embedded real-time systems ⋮ Confusion analysis and detection for workflow nets ⋮ Introduction to Petri Nets ⋮ Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques ⋮ Compositions of (max,+) automata ⋮ Synchronizing sequences on a class of unbounded systems using synchronized Petri nets

This page was built for publication: Discrete, Continuous, and Hybrid Petri Nets