A review of synthesis techniques for Petri nets with applications to automated manufacturing systems
From MaRDI portal
Publication:4202493
DOI10.1109/21.214792zbMath0775.93171OpenAlexW2065366801MaRDI QIDQ4202493
Publication date: 4 October 1993
Published in: IEEE Transactions on Systems, Man, and Cybernetics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/21.214792
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Model systems in control theory (93C99)
Related Items
Robustness of deadlock avoidance algorithms for sequential processes. ⋮ Scheduling of flexible manufacturing systems based on Petri nets and hybrid heuristic search ⋮ Model and control holonic manufacturing systems based on fusion of contract nets and Petri nets. ⋮ Hybrid Petri net and digraph approach for deadlock prevention in automated manufacturing systems ⋮ Structure and behavior preservation by Petri-net-based refinements in system design ⋮ Refining and verifying regular Petri nets ⋮ Disassembly sequence generation: A Petri net based heuristic approach ⋮ Deadlock-free scheduling in flexible manufacturing systems using Petri nets ⋮ Specifications in stochastic process algebra for a robot control problem ⋮ Constructing Petri net models using genetic search ⋮ Building reduced Petri net models of discrete manufacturing systems
This page was built for publication: A review of synthesis techniques for Petri nets with applications to automated manufacturing systems
