共 32 条
[1]
Barkaoui K., LECT NOTES COMPUTER, V1091, P57
[4]
Enumeration. algorithms for minimal siphons in Petri nets based on place constraints
[J].
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS,
2005, 35 (06)
:844-854
[5]
A PETRI-NET BASED DEADLOCK PREVENTION POLICY FOR FLEXIBLE MANUFACTURING SYSTEMS
[J].
IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION,
1995, 11 (02)
:173-184
[6]
Deadlock control methods in automated manufacturing systems
[J].
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS,
2004, 34 (01)
:5-22
[7]
Fumagalli I, 2010, P AMER CONTR CONF, P3365
[8]
Design of a live and maximally permissive Petri net controller using the theory of regions
[J].
IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION,
2003, 19 (01)
:137-142
[9]
GIUA A, 1992, 1992 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1 AND 2, P974, DOI 10.1109/ICSMC.1992.271666
[10]
Supervisor Design to Enforce Production Ratio and Absence of Deadlock in Automated Manufacturing Systems
[J].
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS,
2011, 41 (02)
:201-212