**A Computationally Improved Optimal Solution for Deadlocked Problems of Flexible Manufacturing Systems Using Theory of Regions**

Yen-Liang Pan

24 Will-be-set-by-IN-TECH

[15] Maturana, F. (1997) Metamorph: an adaptive multi-agent architecture for advanced

[16] Maturana, F., Shen, W., Norrie, D. (1999) Metamorph: An adaptive agent-based architecture for intelligent manufacturing, International Journal of Production Research

[17] Mayer, G., Wan Abdullah, Z., Lim Ai, M. (2003) Tele-Maintenance for Remote Online Diagnostic and Evaluation of Problems at Offshore Facilities, Sarawak, SPE Asia Pacific

[18] Mazigh, B. (1994) Modeling and Evaluation of Production Systems with GSPN, Ph.D.

[19] Mazigh, B. (2006) ZGSPN: Formal specification using Z and GSPN, Technical Report MAZ-SPEc-01-06, Department of Computer Science, University of Monastir, Tunisia. [20] Mazigh, B., Garoui, M., Koukam, A. (2011) Heterogeneous Formal specification of a Holonic MAS methodology based on Petri Nets and Object-Z, In Proceedings of the Federated Conference on Computer Science and Information Systems, 5th International Workshop on Multi-Agent Systems and Simulation, IEEE Computer

[21] Molloy, M. K. (1981) On the Integration of Delay and Throughput Measures in Distributed Processing Models, Ph.D. thesis, UCLA, Los Angeles, CA, USA. [22] Natarajan, S. (1989) Petri nets: Properties, analysis and applications, Computer Science

[23] Natarajan, S. (2000) Symbolic Analysis of Transition Systems, Computer Science

[26] Peterson, J. L. (1982) Petri Net Theory and the Modeling Systems, Prentice-Hall,

[27] Petri, C. A. (1966) Communication with Automata, Ph.D. thesis, Technical Report

[28] Reisig, W. (1985) Petri Nets an Introduction, EATCS Monographs on Theoretical

[29] Rodriguez, S., Hilaire, V., Koukam, A. (2007) Towards a holonic multiple aspect analysis and modeling approach for complex systems: Application to the simulation of industrial

[31] SPEM. (2007) Software process engineering metamodel specification, v2.0, final adopted

[32] Ulieru, M., Geras, A. (2002) Emergent holarchies for e-health applications: a case in glaucoma diagnosis, IECON 02 28th Annual Conference of the Industrial Electronics

[33] Wyns, J. (1999) Reference architecture for holonic manufacturing systems-the key to support evolution and reconfiguration, Ph.D. thesis, Katholieke Universiteit Leuven.

plants, In journal Simulation Modelling Practice and Theory 15, pp. 521-543. [30] Seidita, V., Cossentino, M., Hilaire, V., Gaud, N., Galland, S., Koukam, A (2009) The metamodel: A starting point for design processes construction, In international Journal

of Software Engineering and Knowledge Engineering (IJSEKE).

specification, ptc/07-03-03, Object Management Group.

URL: people.mech.kuleuven.ac.be/jwyns/phd/order.html

[24] Natkin, S. (1980) Réseaux de Petri Stochastiques, Ph.D. thesis, CNAM, Paris. [25] Object Management Group. (2003) MDA guide, v1.0.1, OMG/2003-06-01.

manfacturing systems, Ph.D. thesis, The University of Calgary.

Oil and Gas Conference and Exhibition, Jakarta, Indonesia.

Laboratory SRI International, Proceedings of IEEE, 77(4).

thesis, Institut Polytechnique de Mulhouse, France.

37 (10) (1999) 2159-2174.

Society Press,Pologne, pp. 661-668.

Laboratory SRI International.

RADC-TR-65-377, New York.

Society, IEEE, vol. 4, pp. 2957-2961.

Englewood Cliffs, NJ.

Computer Science 4.

Additional information is available at the end of the chapter

http://dx.doi.org/10.5772/50873
