scientific article; zbMATH DE number 2221543
From MaRDI portal
Publication:5702331
zbMath1080.68539MaRDI QIDQ5702331
No author found.
Publication date: 1 November 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)
Related Items (12)
Equivalent transformation of nonlinear constraints to linear constraints in Petri nets ⋮ Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs ⋮ Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems ⋮ Deadlock characterization and control of flexible assembly systems with Petri nets ⋮ Robust deadlock control of automated manufacturing systems with multiple unreliable resources ⋮ Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems ⋮ Liveness of an extended S\(^{3}\)PR ⋮ Deadlock modeling and control of semiconductor track systems using resource-oriented Petri nets ⋮ A novel method for deadlock prevention of AMS by using resource-oriented Petri nets ⋮ Design of optimal Petri-net controllers for a class of flexible manufacturing systems with key resources ⋮ Deciding the liveness for a subclass of weighted Petri nets based on structurally circular wait ⋮ Computation of strict minimal siphons in a class of Petri nets based on problem decomposition
This page was built for publication:
