Deadlock Control for a Class of Generalized Petri Nets Based on Proper Resource Allocation

DOI10.1002/asjc.1004zbMath1338.93234OpenAlexW2146855929MaRDI QIDQ2812823

YiFan Hou, Ding Liu, Mi Zhao

Publication date: 13 June 2016

Published in: Asian Journal of Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/asjc.1004

zbMATH Keywords

resource allocationPetri netdeadlock prevention\(G\)-system

Mathematics Subject Classification ID

System identification (93B30) Discrete event control/observation systems (93C65)

Cites Work

• Unnamed Item
• Maximally permissive supervisor synthesis based on a new constraint transformation method
• Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
• Supervision based on place invariants: a survey
• Output feedback sliding mode control for a linear multi-compartment lung mechanics system
• Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming
• Observer-Based State-Feedback Control of Timed Petri Nets With Deadlock Recovery
• Structure reduction of liveness‐enforcing Petri nets using mixed integer programming
• A simple Suboptimal siphon‐based control model of a well‐known S³PR
• A best deadlock control for S³PMR to reach all states

This page was built for publication: Deadlock Control for a Class of Generalized Petri Nets Based on Proper Resource Allocation