scientific article; zbMATH DE number 777433
zbMATH Open0849.93002MaRDI QIDQ4840199FDOQ4840199
Authors: Frank DiCesare, MengChu Zhou 
Publication date: 23 July 1995
Title of this publication is not available (Why is that?)
Recommendations
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Production models (90B30) General systems (93A10) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Research exposition (monographs, survey articles) pertaining to systems and control theory (93-02)
Cited In (35)
- Petri net synthesis
- A novel method for deadlock prevention of AMS by using resource-oriented Petri nets
- Suboptimal time management of discrete event systems with uncontrollable events modeled by Petri nets
- Title not available (Why is that?)
- Conflict and error prevention and detection in complex networks
- Computation of strict minimal siphons in a class of Petri nets based on problem decomposition
- A Class of Well Structured Petri Nets for Flexible Manufacturing Systems
- On persistent excitations for the identification of switched linear dynamical systems over finite fields
- A survey of siphons in Petri nets
- Introduction to Petri nets
- Design of a maximally permissive liveness-enforcing supervisor with reduced complexity for automated manufacturing systems
- An Optimal Vanishing Point Detection Method with Error Analysis
- Executability of scenarios in Petri nets
- Diagnosability of Petri nets with observation graphs
- Fuzzy-Petri-networks in supervisory control of Markov processes in robotized FMS and robotic systems
- Property-preserving subnet reductions for designing manufacturing systems with shared resources
- Robust control reconfiguration of resource allocation systems with Petri nets and integer programming
- Dynamic analysis of Petri net-based discrete systems
- Liveness of an extended S\(^{3}\)PR
- Extended elementary siphons and their application to liveness-enforcement of generalized Petri nets
- Optimal supervisory control of discrete event systems: cyclicity and interleaving of tasks
- Title not available (Why is that?)
- Synthesis of Petri net supervisors for FMS via redundant constraint elimination
- On liveness and controlled siphons in Petri nets
- Petri nets for modeling of dynamic systems -- a survey
- Grafcet: behavioural issues and control synthesis
- On liveness and boundedness of asymmetric choice nets
- Lectures on Concurrency and Petri Nets
- Title not available (Why is that?)
- Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places
- A Petri net model of a continuous flow transfer line with unreliable machines.
- Title not available (Why is that?)
- Improved methods for scheduling flexible manufacturing systems based on Petri nets and heuristic search
- Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching
- Petri nets for the design and operation of 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 Q4840199)
