The following pages link to (Q4219294):
Displayed 16 items.
- Supervision based on place invariants: a survey (Q858151) (← links)
- Ergodicity of one-dimensional resource sharing systems. (Q1766051) (← links)
- On computing the supremal right-closed control invariant subset of a right-closed set of markings for an arbitrary Petri net (Q2058574) (← links)
- Throughput maximization of complex resource allocation systems through timed-continuous-Petri-net modeling (Q2177767) (← links)
- Two-stage design method of robust deadlock control for automated manufacturing systems with a type of unreliable resources (Q2213104) (← links)
- Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications (Q2256887) (← links)
- Editorial: Deadlock analysis and control in resource allocation systems (Q2279724) (← links)
- Optimal supervisor synthesis for Petri nets with uncontrollable transitions: a bottom-up algorithm (Q2279735) (← links)
- Performance optimization for a class of generalized stochastic Petri nets (Q2348377) (← links)
- Some observations on supervisory policies that enforce liveness in partially controlled free-choice Petri nets (Q2489594) (← links)
- Design of a Maximally Permissive Liveness-enforcing Supervisor with Reduced Complexity for Automated Manufacturing Systems (Q2789909) (← links)
- Elementary-Siphon-Based Control Policy for Flexible Manufacturing Systems with Partial Observability and Controllability of Transitions (Q2789927) (← links)
- Deadlock Control for a Class of Generalized Petri Nets Based on Proper Resource Allocation (Q2812823) (← links)
- Generalised projections in finite state automata and decidability of state determinacy (Q3603720) (← links)
- Tutorial and Survey Articles: An introduction to Petri Nets (Q4458384) (← links)
- Supervisory Control of Petri Nets with Language Specifications (Q5496930) (← links)