Parallel and sequential mutual exclusions for Petri net modeling of manufacturing systems with shared resources

IEEE transactions on robotics and automation, 1991 - ieeexplore.ieee.org
A theoretical basis for Petri net synthesis methods is provided that can be used to model
systems with shared resources, and to make the resulting nets bounded, live, and reversible …
被引用次数：414 相关文章

[引用][C] Parallel and sequential mutual exclusions for Petri net modeling of manufacturing systems with shared resources

M ZHOU, F DICESARE - IEEE transactions on robotics and …, 1991 - pascal-francis.inist.fr
Parallel and sequential mutual exclusions for Petri net modeling of manufacturing systems
with shared resources CNRS Inist Pascal-Francis CNRS Pascal and Francis Bibliographic …

Parallel and Sequential Mutual Exclusions for Petri Net Modeling of Manufacturing Systems with Shared Resources

MC Zhou, F DiCesare - IEEE Transactions on Robotics and …, 1991 - researchwith.njit.edu
The design of Petri net models is the first step for control, validation, performance analysis,
and simulation using Petri nets for automated manufacturing systems. These systems share …

[引用][C] Parallel and sequential mutual exclusions for Petri net modeling of manufacturing systems with shared resources

M ZHOU, F DICESARE - IEEE …, 1991 - Institute of Electrical and Electronics …