scientific article; zbMATH DE number 1836363

zbMATH Open1050.68108MaRDI QIDQ4782033FDOQ4782033

Authors:

Publication date: 2000

Title of this publication is not available (Why is that?)

Recommendations

• Deadlock prevention policy based on Petri nets and siphons
• Deadlock prevention policy with behavioral optimality or suboptimality achieved by the redundancy identification of constraints and the rearrangement of monitors
• On deadlock control for a class of generalised Petri net models of flexible manufacturing systems
• Deadlock control based on capacity restrictions for FMS
• Deadlock prevention for flexible manufacturing system

zbMATH Keywords

Petri nets

Mathematics Subject Classification ID

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

Cited In (11)

• Deadlock recovery for flexible manufacturing systems modeled with Petri nets
• Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs
• Supervisor reconfiguration for deadlock prevention by resources reallocation
• A survey of siphons in Petri nets
• Adaptive supervisory control for a class of Petri nets with bimodal transitions
• Liveness of an extended S\(^{3}\)PR
• Toward a decision support system for the clinical pathways assessment
• Equivalent transformation of nonlinear constraints to linear constraints in Petri nets
• Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
• On structural minimality of optimal supervisors for flexible manufacturing systems
• On deadlock control for a class of generalised Petri net models of flexible manufacturing systems

This page was built for publication:

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