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

DOI10.1109/21.214792zbMath0775.93171MaRDI 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

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

93C99: Model systems in control theory

Related Items

Disassembly sequence generation: A Petri net based heuristic approach, Deadlock-free scheduling in flexible manufacturing systems using Petri nets, Refining and verifying regular 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, Building reduced Petri net models of discrete manufacturing systems, Robustness of deadlock avoidance algorithms for sequential processes., Model and control holonic manufacturing systems based on fusion of contract nets and Petri nets., Constructing Petri net models using genetic search, Scheduling of flexible manufacturing systems based on Petri nets and hybrid heuristic search, Specifications in stochastic process algebra for a robot control problem