scientific article; zbMATH DE number 1836363

zbMath1050.68108MaRDI QIDQ4782033

No author found.

Publication date: 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Petri nets

Mathematics Subject Classification ID

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

Related Items (11)

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

This page was built for publication: