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