Pages that link to "Item:Q4202493"
From MaRDI portal
The following pages link to A review of synthesis techniques for Petri nets with applications to automated manufacturing systems (Q4202493):
Displayed 11 items.
- Structure and behavior preservation by Petri-net-based refinements in system design (Q703482) (← links)
- Building reduced Petri net models of discrete manufacturing systems (Q814230) (← links)
- Robustness of deadlock avoidance algorithms for sequential processes. (Q1413928) (← links)
- Model and control holonic manufacturing systems based on fusion of contract nets and Petri nets. (Q1426259) (← links)
- Constructing Petri net models using genetic search (Q1596757) (← links)
- Scheduling of flexible manufacturing systems based on Petri nets and hybrid heuristic search (Q3533207) (← links)
- Specifications in stochastic process algebra for a robot control problem (Q4230124) (← links)
- Disassembly sequence generation: A Petri net based heuristic approach (Q4707451) (← links)
- Deadlock-free scheduling in flexible manufacturing systems using Petri nets (Q4710088) (← links)
- Refining and verifying regular Petri nets (Q5451165) (← links)
- Hybrid Petri net and digraph approach for deadlock prevention in automated manufacturing systems (Q5712038) (← links)