MLA
Qin, Meng. "Deadlock Prevention for Automated Manufacturing Systems with Uncontrollable and Unobservable Transitions: A Petri Net Approach." Formal Methods in Manufacturing Systems: Recent Advances, edited by Zhiwu Li and Abdulrahman M. Al-Ahmari, IGI Global, 2013, pp. 367-387. https://doi.org/10.4018/978-1-4666-4034-4.ch015
APA
Qin, M. (2013). Deadlock Prevention for Automated Manufacturing Systems with Uncontrollable and Unobservable Transitions: A Petri Net Approach. In Z. Li & A. Al-Ahmari (Eds.), Formal Methods in Manufacturing Systems: Recent Advances (pp. 367-387). IGI Global. https://doi.org/10.4018/978-1-4666-4034-4.ch015
Chicago
Qin, Meng. "Deadlock Prevention for Automated Manufacturing Systems with Uncontrollable and Unobservable Transitions: A Petri Net Approach." In Formal Methods in Manufacturing Systems: Recent Advances, edited by Zhiwu Li and Abdulrahman M. Al-Ahmari, 367-387. Hershey, PA: IGI Global, 2013. https://doi.org/10.4018/978-1-4666-4034-4.ch015
Export Reference