A review of synthesis techniques for Petri nets with applications to automated manufacturing systems

DOI10.1109/21.214792zbMath0775.93171OpenAlexW2065366801MaRDI QIDQ4202493

MuDer Jeng, Frank DiCesare

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

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Model systems in control theory (93C99)

Related Items (11)

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