A resource configuration method for liveness of a class of Petri nets
From MaRDI portal
Publication:4684002
DOI10.1093/IMAMCI/DNV016zbMath1458.93108OpenAlexW2471158900MaRDI QIDQ4684002
Miao Liu, Tasawar Hayat, ShouGuang Wang, Zhiwu Li, Ahmed Alsaedi
Publication date: 27 September 2018
Published in: IMA Journal of Mathematical Control and Information (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/imamci/dnv016
Production models (90B30) Linear systems in control theory (93C05) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Mathematical modeling or simulation for problems pertaining to systems and control theory (93-10)
This page was built for publication: A resource configuration method for liveness of a class of Petri nets