A Class of Well Structured Petri Nets for Flexible Manufacturing Systems

DOI10.1007/3-540-69108-1_5MaRDI QIDQ6487387zbMATH OpenWikidataFDO

Authors J. Ezpeleta, F. García-Vallés, J. M. Colom

Publication date 9 December 2022

Full work available at URL https://doi.org/10.1007/3-540-69108-1_5

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Production models (90B30)

Recommendations

• Deadlock and liveness characterization for a class of generalized Petri nets
• scientific article; zbMATH DE number 1300107
• On deadlock control for a class of generalised Petri net models of flexible manufacturing systems
• Deadlock analysis and control using Petri net decomposition techniques
• scientific article; zbMATH DE number 978207

Cites work

• Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources
• scientific article; zbMATH DE number 4033101 (Why is no real title available?)
• scientific article; zbMATH DE number 4049068 (Why is no real title available?)
• scientific article; zbMATH DE number 777433 (Why is no real title available?)
• scientific article; zbMATH DE number 839083 (Why is no real title available?)
• scientific article; zbMATH DE number 3359777 (Why is no real title available?)
• Petri net synthesis and analysis of a flexible manufacturing system cell

Cited in

(19)

• A survey of siphons in Petri nets
• A multistep look-ahead deadlock avoidance policy for automated manufacturing systems
• Mixed integer programming-based liveness test for FMS with full routing flexibility
• scientific article; zbMATH DE number 5951866 (Why is no real title available?)
• Synthesis of a Class of Deadlock-Free Petri Nets
• Petri net models of flexible and automated manufacturing systems: a survey
• scientific article; zbMATH DE number 1300107 (Why is no real title available?)
• scientific article; zbMATH DE number 978207 (Why is no real title available?)
• scientific article; zbMATH DE number 1076427 (Why is no real title available?)
• An Optimal Vanishing Point Detection Method with Error Analysis
• scientific article; zbMATH DE number 2044657 (Why is no real title available?)
• A resource configuration method for liveness of a class of Petri nets
• Robustness analysis of non-ordinary Petri nets for flexible assembly systems
• Recursive solution of number of reachable states of a simple subclass of FMS
• Lectures on Concurrency and Petri Nets
• Liveness and deadlock-freeness verification and enforcement in bounded Petri nets using basis reachability graphs
• Deadlock and liveness characterization for a class of generalized Petri nets
• Autonomy-subnet based structural synthesis and liveness guarantying policy of Petri net model of flexible manufacturing system
• Liveness of an extended S\(^{3}\)PR

This page was built for publication: A Class of Well Structured Petri Nets for Flexible Manufacturing Systems

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