Pages that link to "Item:Q1360353"

The following pages link to A survey of Petri net methods for controlled discrete event systems (Q1360353):

Displaying 50 items.

• The evaluation of pedestrians' behavior using \(M/G/C/C\) analytical, weighted distance and real distance simulation models (Q312649) (← links)
• Petri net controllers for generalized mutual exclusion constraints with floor operators (Q340680) (← links)
• Control of \((max, +)\)-linear systems minimizing delays (Q373011) (← links)
• Shrinking of time Petri nets (Q378906) (← links)
• Maximally permissive supervisor synthesis based on a new constraint transformation method (Q445132) (← links)
• Modeling and control of discrete event systems using finite state machines with variables and their applications in power grids (Q450726) (← links)
• Fluctuation-driven computing on number-conserving cellular automata (Q454911) (← links)
• Structure and dynamics of acyclic networks (Q481363) (← links)
• Matrix-based discrete event control for surveillance mobile robotics (Q614741) (← links)
• On fluidization of discrete event models: Observation and control of continuous Petri nets (Q763410) (← links)
• Closed-loop live marked graphs under generalized mutual exclusion constraint enforcement (Q838995) (← links)
• Control of parameterized discrete event systems (Q839004) (← links)
• Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places (Q857147) (← links)
• Supervision based on place invariants: a survey (Q858151) (← links)
• Designing communicating transaction processes by supervisory control theory (Q878112) (← links)
• Compositionally progressive solutions of synchronous FSM equations (Q1020554) (← links)
• Timed Petri nets in hybrid systems: Stability and supervisory control (Q1272968) (← links)
• Petri nets for the design and operation of manufacturing systems (Q1375146) (← links)
• Controller synthesis for net condition/event systems with a solution for incomplete state observation (Q1383474) (← links)
• Control synthesis of Petri nets based on \(S\)-decreases (Q1581036) (← links)
• Design and implementation of discrete event control systems: A Petri net based hardware approach (Q1610345) (← links)
• Confusion control in generalized Petri nets using synchronized events (Q1666205) (← links)
• Control of discrete event systems by means of discrete optimization and disjunctive colored PNs: application to manufacturing facilities (Q1725071) (← links)
• Trajectory encoding for systems with irregular observations (Q1892998) (← links)
• Petri net languages and infinite subsets of \(\mathbb{N}^m\) (Q1970198) (← links)
• Design of supervisors for linear marking specifications in labeled Petri nets (Q2063788) (← links)
• Synthesis of Petri nets with restricted place-environments: classical and parameterized (Q2117176) (← links)
• Synthesis of inhibitor-reset Petri nets: algorithmic and complexity issues (Q2165238) (← links)
• Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions (Q2224835) (← links)
• On the parameterized complexity of the synthesis of Boolean nets with restricted place environments (Q2235733) (← links)
• Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications (Q2256887) (← links)
• A survey of siphons in Petri nets (Q2279728) (← links)
• Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm (Q2279735) (← links)
• Observable liveness of Petri nets (Q2340254) (← links)
• Some contributions with Petri nets for the modelling, analysis and control of HDS (Q2460399) (← links)
• Design of control laws for timed event graphs networks subject to mutual exclusion constraints in min-plus algebra (Q2667519) (← links)
• Controlled Petri nets as a tool of control discrete systems simulation (Q2740485) (← links)
• Petri nets controlled by a finite state machine (Q2740486) (← links)
• Feedback control for a class of discrete event systems with critical time (Q2799231) (← links)
• Explicitcontroller design for a class of controlled Petri nets with marked graph loops (Q3017011) (← links)
• A Summary of Some Discrete-Event System Control Problems (Q3073615) (← links)
• (Q3152839) (← links)
• (Q4535174) (← links)
• On the parameterized complexity of synthesizing Boolean Petri nets with restricted dependency (Q5019696) (← links)
• The Complexity of Synthesis of b-Bounded Petri Nets (Q5025061) (← links)
• Synthesis of Pure and Impure Petri Nets with Restricted Place-environments: Complexity Issues (Q5044398) (← links)
• Petri Nets Tracking Control for Electro-pneumatic Systems Automation (Q5053594) (← links)
• Diagnosing Hybrid Dynamical Systems Using Max-Plus Algebraic Methods (Q5117256) (← links)
• Synthesis of controllers for symmetric systems (Q5391450) (← links)
• Supervisory Control of Petri Nets with Language Specifications (Q5496930) (← links)