Pages that link to "Item:Q1689357"
From MaRDI portal
The following pages link to On the enforcement of a class of nonlinear constraints on Petri nets (Q1689357):
Displayed 13 items.
- Petri net controllers for generalized mutual exclusion constraints with floor operators (Q340680) (← links)
- Model-based fault identification of discrete event systems using partially observed Petri nets (Q1716461) (← links)
- Model identification of unobservable behavior of discrete event systems using Petri nets (Q1999265) (← links)
- Design of supervisors for linear marking specifications in labeled Petri nets (Q2063788) (← links)
- Deadlock analysis and control using Petri net decomposition techniques (Q2212081) (← links)
- Editorial: Deadlock analysis and control in resource allocation systems (Q2279724) (← links)
- A survey of siphons in Petri nets (Q2279728) (← links)
- Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs (Q2279733) (← links)
- Deadlock recovery for flexible manufacturing systems modeled with Petri nets (Q2292945) (← links)
- A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems (Q2293066) (← links)
- Petri net representation and reachability analysis of 0--1 integer linear programming problems (Q2293169) (← links)
- Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs (Q4575107) (← links)
- An Improved Algorithm for Siphons and Minimal Siphons in Petri Nets Based on Semi-tensor Product of Matrices (Q5377287) (← links)