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)
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
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
- scientific article; zbMATH DE number 791343 (Why is no real title available?)
- Introduction to Petri nets
- Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets
- 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
- scientific article; zbMATH DE number 2144771 (Why is no real title available?)
- Preface: Petri nets for systems and synthetic biology
- Enzymatic competition: Modeling and verification with timed hybrid Petri nets
- Production scheduling with alternative process plans
- Special issue: Hybrid Petri nets
- 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
- Encoding the dynamics of deterministic systems
- Modeling and Analysis of Transportation Networks Using Batches Petri Nets with Controllable Batch Speed
- Preface: Petri nets for systems and synthetic biology
- Correction to: ``Synchronizing sequences on a class of unbounded systems using synchronized Petri nets
- Fluid approximation of Petri net models with relatively small populations
- scientific article; zbMATH DE number 53942 (Why is no real title available?)
- Symbolic computation of differential equivalences
- 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
- Modelling and analysis of hybrid supervisory systems. A Petri net approach.
- Dynamics and steady state analysis of controlled generalized batches Petri nets
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)
