Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming

Mi Zhao, Yifan Hou, Ding Liu

Source record

Source: Crossref

Published: Sep 21, 2010

DOI: 10.1080/00207179.2010.504785

Open original source ↗

Evidence graph

No public relationships recorded yet.

Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.