Pages that link to "Item:Q3618711"
From MaRDI portal
The following pages link to Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions (Q3618711):
Displayed 5 items.
- A branch and bound approach for the design of decentralized supervisors in Petri net models (Q2342792) (← links)
- Identification of Petri nets from knowledge of their language (Q2465425) (← links)
- Solving the Problem of Forbidden States in Discrete Event Systems: A Novel Systematic Method for Reducing the Number of Control Places (Q2790014) (← links)
- Controller Synthesis with Highly Simplified Linear Constraints (Q3454364) (← links)
- Reversing Unbounded Petri Nets (Q6144215) (← links)