Pages that link to "Item:Q4827468"

The following pages link to Discrete, Continuous, and Hybrid Petri Nets (Q4827468):

Displaying 40 items.

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