A resource configuration method for liveness of a class of Petri nets

DOI10.1093/IMAMCI/DNV016zbMATH Open1458.93108OpenAlexW2471158900MaRDI QIDQ4684002FDOQ4684002

Authors: M. Liu, ShouGuang Wang, Tasawar Hayat, 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

Recommendations

• Deadlock and liveness characterization for a class of generalized Petri nets
• A Class of Well Structured Petri Nets for Flexible Manufacturing Systems
• The resource allocation problem in flexible manufacturing systems
• scientific article; zbMATH DE number 5951866
• Necessary and sufficient liveness condition of GS³PR Petri nets

zbMATH Keywords

Petri netresource configurationflexible manufacturing system

Mathematics Subject Classification ID

Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Production models (90B30) Linear systems in control theory (93C05) Mathematical modeling or simulation for problems pertaining to systems and control theory (93-10)

Cited In (3)

• The resource allocation problem in flexible manufacturing systems
• Deadlock and liveness characterization for a class of generalized Petri nets
• Configuration of liveness-enforcing initial marking with the minimum resources for resource allocation systems

This page was built for publication: A resource configuration method for liveness of a class of Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4684002)