Pages that link to "Item:Q2458637"
From MaRDI portal
The following pages link to Modeling and control of discrete-event dynamic systems with Petri nets and other tools. (Q2458637):
Displaying 19 items.
- Petri nets properties related to the unboundness and analyzed using coverability multigraph (Q275588) (← links)
- Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems (Q497950) (← links)
- Computation of the greatest simulations and bisimulations between fuzzy automata (Q690916) (← links)
- Module-based architecture for a periodic job-shop scheduling problem (Q692211) (← links)
- Reduction of fuzzy automata by means of fuzzy quasi-orders (Q726556) (← links)
- Petri net-based approach to short-term scheduling of crude oil operations with less tank requirement (Q778456) (← links)
- Modeling and monitoring of E-commerce workflows (Q1007903) (← links)
- Signal preemption control of emergency vehicles based on timed colored Petri nets (Q1727212) (← links)
- On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming (Q1937479) (← links)
- Analysis and control of max-plus linear discrete-event systems: an introduction (Q2177779) (← links)
- On persistent excitations for the identification of switched linear dynamical systems over finite fields (Q2342457) (← links)
- Property analysis of logic Petri nets by marking reachability graphs (Q2515425) (← links)
- Optimal sensor selection for ensuring diagnosability in labeled Petri nets (Q2628671) (← links)
- Dynamic slicing of Petri nets based on structural dependency graph and its application in system analysis (Q2813985) (← links)
- Multi-tasking arbitration and behaviour design for human-interactive robots (Q2873078) (← links)
- (Q3152839) (← links)
- Modellbildung und Analyse diskret gesteuerter Systeme mit Petri-Netzen / Modelling and analysis of discrete controlled systems using Petri nets (Q3823474) (← links)
- (Q4535174) (← links)
- New Software Tool for Modelling and Control of Discrete-Event and Hybrid Systems Using Petri Nets (Q5145750) (← links)