DocumentCode :
2501260
Title :
A Petri net design method for automated manufacturing systems with shared resources
Author :
Zhou, MengChu ; DiCesare, Frank
Author_Institution :
Rensselaer Polytech. Inst., Troy, NY, USA
fYear :
1990
fDate :
13-18 May 1990
Firstpage :
526
Abstract :
Two concepts are formulated: parallel and sequential mutual exclusion (SME) in the context of Petri net theory. The conditions under which a net containing such structures is bounded, live, and reversible are derived, and they are used to construct the Petri net models for a practical manufacturing system. The sufficient conditions for a Petri net to be live and reversible include that the number of initial tokens in each place be less than or equal to the token capacity of an SME and that the net without this SME be live and reversible
Keywords :
Petri nets; factory automation; Petri net; automated manufacturing systems; design method; models; sequential mutual exclusion; shared resources; Aggregates; Computer aided manufacturing; Control system synthesis; Design methodology; Manufacturing processes; Manufacturing systems; Petri nets; Productivity; Systems engineering and theory; Technology transfer;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Robotics and Automation, 1990. Proceedings., 1990 IEEE International Conference on
Conference_Location :
Cincinnati, OH
Print_ISBN :
0-8186-9061-5
Type :
conf
DOI :
10.1109/ROBOT.1990.126033
Filename :
126033
Link To Document :
بازگشت