Modeling and conflict detection of crude oil operations for refinery process based on controlled colored timed Petri net

IEEE Transactions on Systems, Man and Cybernetics Part C: Applications and Reviews

Volumn 37, Issue 4, 2007, Pages 461-472

  Wu, Naiqi ^a   Bai, Liping ^a   Chu, Chengbin ^b,c  

^a GUANGDONG UNIVERSITY OF TECHNOLOGY   (China)

^b Inst Comp Sci and Eng of Troyes   (France)

^c HEFEI UNIVERSITY OF TECHNOLOGY   (China)

Author keywords

Hybrid systems; Petri net; Refinery process; System modeling

Indexed keywords

CONTROLLED COLORED TIME PETRI NET; HYBRID SYSTEM; SYSTEM MODELING;

CONTROL THEORY; DISCRETE TIME CONTROL SYSTEMS; MATHEMATICAL MODELS; PETROLEUM REFINERIES; PROCESS CONTROL; SCHEDULING;

PETRI NETS;

EID: 34447295371     PISSN: 10946977     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCC.2007.897339     Document Type: Article

References (39)

1. Y. Narahari and N. Viswanadham, "A Petri net approach to modeling and analysis of FMS," Ann. Oper. Res., vol. 3, pp. 449-472, 1985.
2. M. Zhou and F. DiCesare, "A Petri net design method for automated manufacturing systemswith shared resources," in Proc. IEEE Conf. Robot. Autom., 1990, vol. 1, pp. 526-531.
3. M. Zhou and F. DiCesare, "Parallel and sequential mutual exclusions for Petri net modeling of manufacturing systems with shared resources," IEEE Trans. Robot. Autom., vol. 7, no. 4, pp. 515-527, Aug. 1991.
4. M. C. Zhou, F. DiCesare, and A. Desrochers, "Hybrid methodology for synthesis of Petri nets models for manufacturing systems," IEEE Trans. Robot. Autom., vol. 8, no. 3, pp. 350-361, Jun. 1992.
5. N. Viswanadham, Y. Narahari, and T. L. Johnson, "Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models," IEEE Trans. Robot. Autom., vol. 6, no. 6, pp. 713-723, Dec. 1990.
6. Z. A. Banaszak and B. H. Krogh, "Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows," IEEE Trans. Robot. Autom., vol. 6, no. 6, pp. 724-734, Dec. 1990.
7. A. Lawley, "Deadlock avoidance for production systems with flexible routing," IEEE Trans. Robot. Autom., vol. 15, no. 3, pp. 497-509, Jun. 1999.
8. K. Y. Xing, B. S. Hu, and H. X. Chen, "Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources," IEEE Trans. Autom. Control, vol. 41, no. 2, pp. 289-295, Feb. 1996.
9. N. Q. Wu, "Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model," IEEE Trans. Syst., Man Cybern., vol. 29, no. 2, pp. 192-204,, May 1999.
10. N. Q. Wu, "Avoiding deadlocks in automated manufacturing systems with shared resources," in Proc. IEEE Int. Conf. Robot. Autom., vol. 3, Albuquerque, NM, Apr. 1997, pp. 2427-2432.
11. N. Q. Wu and M. C. Zhou, "Resource-oriented petri nets for deadlock avoidance in automated manufacturing," in Proc. IEEE Int. Conf. Robot. Autom., San Francisco, CA, Apr. 2000, pp. 3377-3382.
12. N. Q. Wu and M. C. Zhou, "Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems," IEEE Trans. Robot. Autom., vol. 17, no. 5, pp. 658-669, Oct. 2001.
13. N. Wu and M. C. Zhou, "Modeling and deadlock control of automated guided vehicle systems," IEEE/ASME Trans. Mechatron., vol. 9, no. 1, pp. 50-57, Mar. 2004.
14. D. Y. Lee and F. DiCesare, "Scheduling FMS using Petri nets and heuristic search," IEEE Trans. Robot. Autom., vol. 10, no. 2, pp. 123-132, Apr. 1994.
15. J.-H. Chen, L.-C. Fu, M.-H. Lin, and A.-C. Huang, "Petri net and GAbased approach to modeling, scheduling, and performance evaluation for wafer fabrication," IEEE Trans. Robot. Autom., vol. 17, no. 5, pp. 619-636, Oct. 2003.
16. M. Uzam, "An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions," Int. J. Adv. Manuf. Technol., vol. 19, pp. 192-208, 2002.
17. M. Uzam, "The use of Petri net reduction approach for an optimal deadlock prevention policy for flexiblemanufacturing systems," Int. J. Adv. Manu f. Technol., vol. 23, pp. 204-219, 2004.
18. M. Uzam and M. C. Zhou, "Iterative synthesis of Petri net based deadlock prevention policy for flexiblemanufacturing systems," in Proc. 2004 IEEE Int. Conf. Syst. Man Cybern., Hague, The Netherlands, pp. 4260-4265.
19. M. Silva, E. Teruel, R. Valette, and H. Pingaud, "Petri nets and production systems," in Lectures on Petri Nets II: Applications, Lecture Notes in Computer Science, vol. 1492. Berlin,Germany: Springer, 1998, pp. 85-124.
20. R. Champagnat, P. Esteban, H. Pingaud, and R. Valette, "Petri net based modeling of hybrid systems," Comput. Indus., vol. 36, pp. 139-146, 1998.
21. H. M. Hanisch, "Coordination control modeling in batch production systems by means of Petri nets," Comput. Chem. Eng., vol. 16, pp. 1-10, 1992.
22. S. Lloyd and Y. M. Salleh, "Modeling and control design of batch process plant by timed Petri net," in Proc. 30th IEEE Conf. Decision Control, vol. 2, Brighton, U.K., Dec.1991, pp. 1531-1536.
23. E. C. Yamalidou, E. P. Patsidou, and J. C. Kantor, "Modeling discreteevent dynamical systems for chemical control: A survey of several new techniques," Comput. Chem. Eng., vol. 14, pp. 281-299, 1990.
24. E. C. Yamalidou and J. C. Kantor, "Modeling and optimal control of discrete-event chemical processes using Petri nets," Comput. Chem. Eng., vol. 15, pp. 503-519, 1991.
25. H. M. Hanisch, "Discrete models of the dynamic behaviour of batch plants," Comput. Chem. Eng., vol. 18, pp. S403-407, 1994.
26. M. Gerzson, Z. Csaki, and K. M. Hangos, "Qualitative model based verification of operating procedures by high level Petri nets," Comput. Chem. Eng., vol. 18, pp. S565-569, 1994.
27. Y. Shimizu, K. Hiraide, T. Kodama, and T. Kitajima, "Timed colored petri net model for analyzing operating procedures for batch processes," J. Chem. Eng. Jpn., vol. 37, no. 2, pp. 224-230, 2004.
28. L. Ferrarini and L. Piroddi, "Modular design and implementation of a logic control system for a batch process," Comp. Chem. Eng., vol. 27, no. 7, pp. 983-996, 2003.
29. Y.-F. Wang and C.-T. Chang, "A hierarchical approach to construct Petri nets for modeling the fault propagation mechanisms in sequential operations," Comput. Chem. Eng., vol. 27, no. 2, pp. 259-280, 2003.
30. R. David, "Modeling of hybrid systems using continuous and hybrid Petri nets," in Proc. Conf. Petri Nets Performance Eval., Saint Malo, France, Jun.1997, pp. 47-58.
31. R. David and H. Alla, "On hybrid Petri nets," Discrete Event Dynam. Syst.: Theory Appl., vol. 11, pp. 9-40, 2001.
32. H. Chen and H.-M. Hanisch, "Analysis of hybrid system based on hybrid net condition/event system model," Discrete Event Dynam. Syst.: Theory Appl., vol. 11, pp. 163-185, 2001.
33. M. Silva and L. Recalde, "Petri nets and integrality relaxations: A view of continuous Petri net models," IEEE Trans. Syst., Man Cybern. C, vol. 32, no. 4, pp. 317-327, Nov. 2002.
34. M. Gerzson and K. M. Hangos, "Analysis of controlled technological systems using high level Petri nets," Comput. Chem. Eng., vol. 19, pp. S531-S536, 1995.
35. J. L. Peterson, Petri Net Theory and the Modeling of Systems Englewood Cliffs, NJ: Prentice-Hall, 1981.
36. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
37. K. Jensen, "Coloured Petri nets and the invariant method," Theoretical Comput. Sci., vol. 14, pp. 317-336, 1984.
38. N. Viswanadham and Y. Narahari, "Coloured Petri net models for automated manufacturing systems," in Proc. 1987 Conf. Robot. Autom. pp. 1985-1990.
39. L. F. L. Moro, "Process technology in the petroleum refining industry-Current situation and future trends," Comput. Chem. Eng, vol. 27, pp. 1303-1305, 2003.