scientific article; zbMATH DE number 777433
From MaRDI portal
Publication:4840199
zbMath0849.93002MaRDI QIDQ4840199
Publication date: 23 July 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Production models (90B30) Research exposition (monographs, survey articles) pertaining to systems and control theory (93-02) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) General systems (93A10) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items (24)
On liveness and boundedness of asymmetric choice nets ⋮ Diagnosability of Petri nets with observation graphs ⋮ Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places ⋮ Petri nets for the design and operation of manufacturing systems ⋮ Synthesis of Petri net supervisors for FMS via redundant constraint elimination ⋮ A Petri net model of a continuous flow transfer line with unreliable machines. ⋮ Conflict and error prevention and detection in complex networks ⋮ Robust control reconfiguration of resource allocation systems with Petri nets and integer programming ⋮ On liveness and controlled siphons in Petri nets ⋮ Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching ⋮ Extended Elementary Siphons and Their Application to Liveness‐Enforcement of Generalized <scp>P</scp>etri Nets ⋮ Property-preserving subnet reductions for designing manufacturing systems with shared resources ⋮ Liveness of an extended S\(^{3}\)PR ⋮ Design of a Maximally Permissive Liveness-enforcing Supervisor with Reduced Complexity for Automated Manufacturing Systems ⋮ A novel method for deadlock prevention of AMS by using resource-oriented Petri nets ⋮ A survey of siphons in Petri nets ⋮ Grafcet: behavioural issues and control synthesis ⋮ Computation of strict minimal siphons in a class of Petri nets based on problem decomposition ⋮ Executability of scenarios in Petri nets ⋮ Introduction to Petri Nets ⋮ Improved methods for scheduling flexible manufacturing systems based on Petri nets and heuristic search ⋮ Optimal Supervisory Control of Discrete Event Systems: Cyclicity and Interleaving of Tasks ⋮ On persistent excitations for the identification of switched linear dynamical systems over finite fields ⋮ Petri nets for modeling of dynamic systems -- a survey
This page was built for publication:
