Grafcetgraph-theoretic methodshybrid Petri netshybrid systemsPetri netssynchronized Petri netstimed Petri nets
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) 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) Discrete event control/observation systems (93C65)
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
(49)- First-order hybrid Petri nets. An application to distributed manufacturing systems
- Enzymatic competition: Modeling and verification with timed hybrid Petri nets
- 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
- Identification of biological transition systems using meta-interpreted logic programs
- Dependent shrink of transitions for calculating firing frequencies in signaling pathway Petri net model
- Confusion control in generalized Petri nets using synchronized events
- Fluid approximation of Petri net models with relatively small populations
- Control of discrete event systems by means of discrete optimization and disjunctive colored PNs: application to manufacturing facilities
- Real-time emulation of boost inverter using the systems modeling language and Petri nets
- Correction to: ``Synchronizing sequences on a class of unbounded systems using synchronized Petri nets
- Dynamics and steady state analysis of controlled generalized batches Petri nets
- One novel and optimal deadlock recovery policy for flexible manufacturing systems using iterative control transitions strategy
- Confusion analysis and detection for workflow nets
- Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques
- Compositions of (max,+) automata
- A Petri net approach to the study of persistence in chemical reaction networks
- Synchronizing sequences on a class of unbounded systems using synchronized Petri nets
- Model predictive control of P-time event graphs
- Determinization of timed Petri nets behaviors
- HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets
- Modeling and Analysis of Transportation Networks Using Batches Petri Nets with Controllable Batch Speed
- scientific article; zbMATH DE number 53942 (Why is no real title available?)
- Differential Petri nets: representing continuous systems in a discrete-event world
- 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
- scientific article; zbMATH DE number 2144771 (Why is no real title available?)
- scientific article; zbMATH DE number 791343 (Why is no real title available?)
- IPA for continuous stochastic marked graphs
- Symmetries in timed continuous Petri nets
- Approaching minimum time control of timed continuous Petri nets
- Introduction to Petri nets
- Petri nets as a framework for the reconstruction and analysis of signal transduction pathways and regulatory networks
- Preface: Petri nets for systems and synthetic biology
- Preface: Petri nets for systems and synthetic biology
- Symbolic computation of differential equivalences
- Special issue: Hybrid Petri nets
- On hybrid Petri nets
- Monitoring of dynamic processes by rectangular hybrid automata
- Petri nets for modelling metabolic pathways: a survey
- Encoding the dynamics of deterministic systems
- Extended hybrid timed Petri nets with semi-supervised anomaly detection for switched systems, modelling and fault detection
- A COTS-based approach for estimating performance and energy consumption of embedded real-time systems
- Lumpability for uncertain continuous-time Markov chains
- Basic server semantics and performance monotonicity of continuous Petri nets
- Modelling and analysis of hybrid supervisory systems. A Petri net approach.
- Tracking control of join-free timed continuous Petri net systems under infinite servers semantics
- Reduction of constraints for controller synthesis based on safe 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)
