Discrete, Continuous, and Hybrid Petri Nets
DOI10.1007/B138130zbMATH Open1074.93002OpenAlexW1505489763MaRDI QIDQ4827468FDOQ4827468
Authors: René David, Hassane Alla 
Publication date: 18 November 2004
Full work available at URL: https://doi.org/10.1007/b138130
Recommendations
- Understanding Petri Nets
- scientific article; zbMATH DE number 53942
- scientific article; zbMATH DE number 5762567
- scientific article; zbMATH DE number 3885321
- Petri nets. Theoretical models and analysis methods for concurrent systems
- scientific article; zbMATH DE number 46872
- scientific article; zbMATH DE number 3980497
- Introduction to Petri nets
- scientific article; zbMATH DE number 48613
hybrid systemsPetri netssynchronized Petri netstimed Petri netsgraph-theoretic methodshybrid Petri netsGrafcet
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Research exposition (monographs, survey articles) pertaining to systems and control theory (93-02)
Cited In (47)
- Synchronizing sequences on a class of unbounded systems using synchronized Petri nets
- Lumpability for uncertain continuous-time Markov chains
- Real-time emulation of boost inverter using the systems modeling language and Petri nets
- Petri nets as a framework for the reconstruction and analysis of signal transduction pathways and regulatory networks
- Identification of biological transition systems using meta-interpreted logic programs
- Tracking control of join-free timed continuous Petri net systems under infinite servers semantics
- Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques
- HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets
- Title not available (Why is that?)
- Introduction to Petri nets
- Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets
- Preface: Petri nets for systems and synthetic biology
- Title not available (Why is that?)
- Checking system boundedness using ordinary differential equations
- First-order hybrid Petri nets. An application to distributed manufacturing systems
- Monitoring of dynamic processes by rectangular hybrid automata
- Determinization of timed Petri nets behaviors
- Special issue: Hybrid Petri nets
- Enzymatic competition: Modeling and verification with timed hybrid Petri nets
- Production scheduling with alternative process plans
- IPA for continuous stochastic marked graphs
- Symmetries in timed continuous Petri nets
- Dependent shrink of transitions for calculating firing frequencies in signaling pathway Petri net model
- A Petri net approach to the study of persistence in chemical reaction networks
- 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
- Basic server semantics and performance monotonicity of continuous Petri nets
- Confusion control in generalized Petri nets using synchronized events
- Control of discrete event systems by means of discrete optimization and disjunctive colored PNs: application to manufacturing facilities
- A COTS-based approach for estimating performance and energy consumption of embedded real-time systems
- Modeling and Analysis of Transportation Networks Using Batches Petri Nets with Controllable Batch Speed
- Encoding the dynamics of deterministic systems
- Preface: Petri nets for systems and synthetic biology
- Symbolic computation of differential equivalences
- Title not available (Why is that?)
- Correction to: ``Synchronizing sequences on a class of unbounded systems using synchronized Petri nets
- Fluid approximation of Petri net models with relatively small populations
- One novel and optimal deadlock recovery policy for flexible manufacturing systems using iterative control transitions strategy
- Confusion analysis and detection for workflow nets
- Model predictive control of P-time event graphs
- Approaching minimum time control of timed continuous Petri nets
- Petri nets for modelling metabolic pathways: a survey
- Reduction of constraints for controller synthesis based on safe Petri nets
- Compositions of (max,+) automata
- On hybrid Petri nets
- Dynamics and steady state analysis of controlled generalized batches Petri nets
- Modelling and analysis of hybrid supervisory systems. A Petri net approach.
This page was built for publication: Discrete, Continuous, and Hybrid Petri Nets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4827468)
