Identificación y Diagnóstico de Fallos en Sistemas de Eventos Discretos Estocásticos

[EN] This work presents a fault diagnosis method for stochastic discrete event systems without previous model. To achieve this goal, the method identifies the normal behavior from to online input/output system signals. Each signal is discretized through an event generator, so the system is modelled from the language theory. Besides the pure event generation, the method also identifies the time between events, so the normal behaviour language can be modeled with a stochastic, timed, interpreted Petri net which represents only the observed language and avoids the non-determinism. Once the normal behavior has been identified, the diagnostic method compares the identified language with on-line observed language. If there is any deviation, then a fault has been detected. This work presents a diagnoser that is able to use that information to detect the fault and to learn the faulty behavior. The system is modular and it includes tools to locate the fault. The collected information is a good base for an expert to fully diagnose the fault.[ES] Este trabajo presenta un método de diagnóstico de fallos para sistemas de eventos discretos estocásticos, sin modelo previo. Para lograr el objetivo, el método identifica el comportamiento normal a partir de las señales de entrada / salida (E/S) del sistema obtenidas on-line. Cada señal es discretizada mediante un generador de eventos, así el sistema es modelado bajo la teoría de lenguajes. Además de la generación de eventos, el método también identifica el tiempo entre eventos, de esta manera el lenguaje del comportamiento normal puede ser modelado como una red de Petri, interpretada, temporizada, estocástica; la cual solo representa el lenguaje observado y evita el no-determinismo. Una vez se ha identificado el comportamiento normal, el método de diagnóstico propuesto compara el lenguaje identificado con el lenguaje observado on-line; si hay desviación entre los lenguajes, se ha detectado un fallo. Este trabajo presenta un diagnosticador que es capaz de usar esa información para detectar el fallo y aprender el comportamiento fallido. El sistema es modular y esto incluye herramientas para localizar el fallo. La información recolectada es una buena base para que un experto diagnostique totalmente el fallo.[CA] Aquest treball presenta un mètode de diagnosi de fallades per a sistemes de esdeveniments discrets estocàstics sense model anterior. Per aconseguir aquest objectiu, el mètode identifica el comportament normal observant les senyals de eixida/entrada en línias. Cada senyal és discretiza amb un generador d'esdeveniment, així doncs, el sistema es modela amb la teoria de llenguatges. A més de la generació d'esdeveniment pura, el mètode també identifica el temps entre esdeveniments, així que el comportament normal es pot modelar amb una Xarxa de Petri estocàstica, temporitzada e intrepretada que representa només el llenguatge observat i evita el no-determinisme. Una vegada que el comportament normal ha estat identificat, el mètode de diagnòstic compara el llenguatge identificat amb el observat en línia. Si hi ha qualsevol desviació llavors una fallada ha estat detectada. El diagnosticador és capaç d'utilitzar aquesta informació per detectar la fallada i per aprendre el seu comportament. El sistema és modular i inclou eines per localitzar la fallada. La informació recollida és una bona base per a que un expert puga plenament diagnosticar la fallada.Muñoz Añasco, DM. (2015). Identificación y Diagnóstico de Fallos en Sistemas de Eventos Discretos Estocásticos [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/53915TESI

Strategies for the competitiveness of the artisanal brick sector of the Municipality of Popayán department of Cauca

El objetivo de este trabajo es el de establecer estrategias competitivas que le permitan al sector ladrillero artesanal del Municipio de Popayán, Departamento del Cauca, ser más competitivo, optimizar sus procesos administrativos y productivos y alcanzar un mayor nivel de participación en el mercado. Para alcanzar este objetivo, el trabajo se desarrolló en etapas, que permiten presentar de manera sistémica la metodología propuesta en la investigación. Se presentan las generalidades, se inducen los conceptos básicos de la investigación y el análisis de los entornos en los cuales se desenvuelven las ladrilleras estudiadas, el cual determinó los requerimientos necesarios en cuanto a calidades de arcillas apropiados para los niveles de calidad de los productos y además se presentan las potencialidades del Departamento del Cauca, para la generación de materias primas involucradas en el proceso. El crecimiento del producto interno bruto, el ligero ascenso del Ingreso per cápita, las políticas y programas para las pymes, los prodes( proyectos de desarrollo), las incubadoras de empresas, los centros de productividad, la tendencia de tasa de crecimiento de la población, la fuerza de trabajo y las nuevas tecnologías para el sistema de producción son los factores externos encontrados que influyen de manera positiva sobre las ladrilleras, generando oportunidades. Y los que influyen de manera negativa ocasionando amenazas son la fuga de capitales del País, el gasto público las altas tasas de interés, la inflación, el aumento significativo de la descomposición social (masacres, secuestro, asesinatos, desplazados por la violencia, inmigración y emigración), los proceso de paz, las políticas sobre preservación del medio ambiente y estrategias para el control de la contaminación, la crisis en el sector económico de la construcción, los productos sustitutos y los grandes competidores con tecnología. A través de visitas a las ladrilleras tomadas como muestra en cada una de las zonas en que se dividió el Municipio, se logró determinar las principales fortalezas y debilidades que presentan en sus procesos de planeación, organización, dirección, evaluación y control; análisis de la gestión financiera, gestión de procesos, gestión personal, gestión calidad y gestión tecnológica, con lo cual se obtuvo que el buen conocimiento en la producción de ladrillo, el gran compromiso para colaborar con la calidad de los productos el poseer minas de arcilla y hornos para la quema, el compromiso hacia el trabajo operativo y administrativo, las nuevas formas de organización entre ladrilleras, como asociaciones, son entre otras las fuerzas que les han permitido sobrevivir; pero el que el proceso de fabricación sea totalmente artesanal, que no exista claridad de los efectos del entorno sobre ellas, que exista desconocimiento de los recursos con que cuentan actualmente y los proyectados, que falte delegación y asignación de tareas a los subordinados, que haya ausencia de una estructura organizacional y de control, que la gestión financiera sea débil y que el área de mercadeo no tenga funciones claramente definidas ni exista un conocimiento del cliente; no permiten que las ladrilleras desarrollen políticas de fortalecimiento organizacional, siendo éstas sus principales debilidades. Aplicando la metodología de planeación estratégica y con el análisis de la información interna y externa se planteó el direccionamiento estratégico que guiará a las ladrilleras a ser más competitivas; es decir a través de la misión, visión, principios corporativos, objetivos y los planes estratégicos presentados en esta investigación.Instituto Tecnológico de Estudios Superiores de Monterrey ITESMINTRODUCCIÓN …………….19 1 MARCO TEORICO 21 1.1 ASPECTOS METODOLÓGICOS DE LA INVESTIGACIÓN 40 1.1.1 Procedimiento Metodológico 41 2 GENERALIDADES 45 2.1 PERFIL DEPARTAMENTAL DEL CAUCA 45 2.1.1 Cauca, Autenticidad y Tradición 45 2.1.2 División Administrativa. 45 2.1.3 Desarrollo Social Del Departamento Del Cauca 46 2.1.4 Ubicación Geográfica del Municipio de Popayán 46 2.2 UBICACIÒN DE LAS ZONAS DE ESTUDIO 47 2.3 GENERALIDADES DE LA ARCILLA 47 2.3.1 Composición general de las arcillas del Municipio de Popayán. 47 2.4 GENERALIDADES DEL LADRILLO 48 3 ANÁLISIS EXTERNO 50 3.1 ASPECTOS ECONÓMICOS 50 3.1.1 Producto Interno Bruto 50 3.1.2 Inversión Privada Extranjera 52 3.1.3 Gasto Público 54 3.1.4 Tasa De Interés 54 3.1.5 Inflación 55 3.2 ASPECTOS TECNOLÓGICOS 56 3.2.1 Ciencia Y Tecnología 56 3.3 ASPECTO SOCIAL 58 3.3.1 Tendencia De Inmigración y Emigración Nacional. 58 3.3.2 Tendencias de la tasa de crecimiento de la población. 59 3.3.3 Fuerza de trabajo en el Departamento del Cauca. 59 3.4 ASPECTO POLÍTICO. 60 3.4.1 Estabilidad Del Sistema Político 60 3.4.2 Credibilidad Internacional Del Sistema Político 60 3.4.3 Políticas De Libre Comercio 61 3.4.4 Proceso De Paz 63 3.5 ASPECTOS ECOLÓGICOS 64 3.5.1 Los sistemas de protección ambiental en Colombia. 65 3.6 ENTORNO ESPECÍFICO 66 3.6.1 Caracterización Del Segmento Del Mercado 66 3.6.2 Caracterización De Competidores Dentro Del Sector Ladrillero 68 3.6.3 Amenaza De Ingreso De Nuevos Competidores 68 3.6.4 Productos Sustitutos 69 3.6.5 Tecnologías en producción de ladrillo 71 3.7 MATRIZ DE EVALUACIÓN DE FACTOR EXTERNO 73 3.7.1 Listado de amenazas y oportunidades decisivas en las ladrilleras 73 3.7.2 Asignación de puntaje a cada factor 73 3.7.3 Asignación de la ponderación a cada factor 77 3.7.4 Clasificación de los factores 77 3.7.5 Resultado ponderado de cada factor 78 3.7.6 Resultado total ponderado 79 4 DIAGNÓSTICO INTERNO 81 4.1 AUDITORIA ORGANIZACIONAL 81 4.1.1 Función Planeación 81 4.1.2 Función De Diseño Organizacional 85 4.1.3 Función Dirección 88 4.1.4 Evaluación y Control 90 4.1.5 Análisis De La Gestión Financiera 91 4.1.6 Análisis De La Gestión De Procesos 93 4.1.7 Análisis De La Gestión Personal 95 4.1.8 Análisis De La Gestión Calidad 97 4.1.9 Análisis De La Gestión Tecnológica 98 4.1.10 Análisis Ecológico 99 4.1.11 Análisis De La Función Mercadeo 101 4.2 MATRIZ DE EVALUACIÓN DE FACTOR INTERNO 103 4.2.1 Listado de fortalezas y debilidades importantes en las ladrilleras. 103 4.2.2 Asignación de puntaje a cada factor interno 104 4.2.3 Asignación de la ponderación a cada factor interno. 108 4.2.4 Clasificación de los factores 109 4.2.5 Resultado ponderado de cada factor 110 4.2.6 Resultado total ponderado 110 5 RESULTADOS DEL DIAGNÓSTICO ESTRATÉGICO 112 5.1 Mercadeo y ventas 113 5.2 Producción. 114 5.3 Contabilidad y Finanzas 115 5.4 Desarrollo organizacional 115 5.5 Proyección empresarial 116 6 ANÁLISIS DOFA 117 6.1 ANÁLISIS DE VULNERABILIDAD 125 7 DIRECCIONAMIENTO Y FORMULACIÓN ESTRATÉGICA 129 7.1 MISIÓN 129 7.2 VISIÓN 130 7.3 PRINCIPIOS CORPORATIVOS 130 7.4 OBJETIVOS CORPORATIVOS 131 7.5 REVISIÓN ESTRATÉGICA GLOBAL 131 7.6 PROYECTOS ESTRATÉGICOS 135 7.6.1 Proyecto Estratégico 1: Modernización Tecnológica 135 7.6.2 Proyecto Estratégico 2: Cultura De Calidad 140 7.6.3 Proyecto Estratégico 3: Plan Ambiental. 144 7.6.4 Proyecto Estratégico 4: Salud Ocupacional Y Seguridad Industrial. 147 7.6.5 Proyecto Estratégico 5: Mejoramiento Del Proceso Productivo 150 7.6.6 Proyecto Estratégico 6: Adquisición De Recursos Financieros 155 7.6.7 Proyecto Estratégico 7: Mejorar Mezcla De Marketing. 158 7.6.8 Proyecto Estratégico 8: Mejora del Servicio al Cliente 162 7.6.9 Proyecto Estratégico 9: Desarrollo Del Producto 165 7.6.10 Proyecto Estratégico 10: Fortalecimiento Administrativo 169 7.6.11 Proyecto Estratégico 11: Asociaciones 173 7.7 DIFUSIÓN 177 8 CONCLUSIONES 178 9 ANEXOS 184MaestríaThe objective of this work is to establish competitive strategies that allow the artisanal brick sector of the Municipality of Popayán, Department of Cauca, to be more competitive, optimize its administrative and productive processes and achieve a higher level of participation in the market. To achieve this objective, the work was developed in stages, which allow the methodology proposed in the research to be presented in a systemic way. The generalities are presented, the basic concepts of the investigation and the analysis of the environments in which the studied brickworks operate are introduced, which determined the necessary requirements in terms of clay qualities appropriate for the quality levels of the products and In addition, the potential of the Department of Cauca is presented, for the generation of raw materials involved in the process. The growth of gross domestic product, the slight rise in per capita income, policies and programs for SMEs, prodes (development projects), business incubators, productivity centers, population growth rate trend , the workforce and the new technologies for the production system are the external factors found that have a positive influence on the brickyards, generating opportunities. And those that have a negative influence causing threats are the flight of capital from the country, public spending, high interest rates, inflation, the significant increase in social decomposition (massacres, kidnapping, assassinations, displaced by violence, immigration and emigration), the peace process, policies on environmental preservation and strategies for pollution control, the crisis in the economic sector of construction, substitute products and large competitors with technology. Through visits to the brick kilns taken as a sample in each of the areas in which the Municipality was divided, it was possible to determine the main strengths and weaknesses that they present in their planning, organization, direction, evaluation and control processes; analysis of financial management, process management, personal management, quality management and technological management, with which it was obtained that good knowledge in brick production, the great commitment to collaborate with the quality of the products, owning clay mines and kilns for burning, the commitment to operational and administrative work, the new forms of organization among brickmakers, as associations, are among others the forces that have allowed them to survive; but the fact that the manufacturing process is totally handmade, that there is no clarity of the effects of the environment on them, that there is ignorance of the resources they currently have and those projected, that there is a lack of delegation and assignment of tasks to subordinates, that there is absence of an organizational and control structure, that financial management is weak and that the marketing area does not have clearly defined functions and there is no knowledge of the client; they do not allow brickmakers to develop organizational strengthening policies, these being their main weaknesses. Applying the methodology of strategic planning and with the analysis of internal and external information, the strategic direction was proposed that will guide the brick factories to be more competitive; that is, through the mission, vision, corporate principles, objectives and strategic plans presented in this research.Modalidad Presencia

Stochastic DES Fault Diagnosis with Coloured Interpreted Petri Nets

[EN] This proposal presents an online method to detect and isolate faults in stochastic discrete event systems without previous model. A coloured timed interpreted Petri Net generates the normal behavior language after an identification stage.The next step is fault detection that is carried out by comparing the observed event sequences with the expected event sequences. Once a new fault is detected, a learning algorithm changes the structure of the diagnoser, so it is able to learn new fault languages. Moreover, the diagnoser includes timed events to represent and diagnose stochastic languages. Finally, this paper proposes a detectability condition for stochastic DES and the sufficient and necessary conditions are proved.This work was supported by a grant from the Universidad del Cauca, Reference 2.3-31.2/05 2011.Muñoz-Añasco, DM.; Correcher Salvador, A.; García Moreno, E.; Morant Anglada, FJ. (2015). Stochastic DES Fault Diagnosis with Coloured Interpreted Petri Nets. Mathematical Problems in Engineering. 2015:1-13. https://doi.org/10.1155/2015/303107S1132015Jiang, S., & Kumar, R. (2004). Failure Diagnosis of Discrete-Event Systems With Linear-Time Temporal Logic Specifications. IEEE Transactions on Automatic Control, 49(6), 934-945. doi:10.1109/tac.2004.829616Zaytoon, J., & Lafortune, S. (2013). Overview of fault diagnosis methods for Discrete Event Systems. Annual Reviews in Control, 37(2), 308-320. doi:10.1016/j.arcontrol.2013.09.009Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., & Teneketzis, D. (1995). Diagnosability of discrete-event systems. IEEE Transactions on Automatic Control, 40(9), 1555-1575. doi:10.1109/9.412626Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., & Teneketzis, D. C. (1996). Failure diagnosis using discrete-event models. IEEE Transactions on Control Systems Technology, 4(2), 105-124. doi:10.1109/87.486338Estrada-Vargas, A. P., López-Mellado, E., & Lesage, J.-J. (2010). A Comparative Analysis of Recent Identification Approaches for Discrete-Event Systems. Mathematical Problems in Engineering, 2010, 1-21. doi:10.1155/2010/453254Cabasino, M. P., Giua, A., & Seatzu, C. (2010). Fault detection for discrete event systems using Petri nets with unobservable transitions. Automatica, 46(9), 1531-1539. doi:10.1016/j.automatica.2010.06.013Prock, J. (1991). A new technique for fault detection using Petri nets. Automatica, 27(2), 239-245. doi:10.1016/0005-1098(91)90074-cAghasaryan, A., Fabre, E., Benveniste, A., Boubour, R., & Jard, C. (1998). Discrete Event Dynamic Systems, 8(2), 203-231. doi:10.1023/a:1008241818642Hadjicostis, C. N., & Verghese, G. C. (1999). Monitoring Discrete Event Systems Using Petri Net Embeddings. Application and Theory of Petri Nets 1999, 188-207. doi:10.1007/3-540-48745-x_12Benveniste, A., Fabre, E., Haar, S., & Jard, C. (2003). Diagnosis of asynchronous discrete-event systems: a net unfolding approach. IEEE Transactions on Automatic Control, 48(5), 714-727. doi:10.1109/tac.2003.811249Genc, S., & Lafortune, S. (2003). Distributed Diagnosis of Discrete-Event Systems Using Petri Nets. Lecture Notes in Computer Science, 316-336. doi:10.1007/3-540-44919-1_21Genc, S., & Lafortune, S. (2007). Distributed Diagnosis of Place-Bordered Petri Nets. IEEE Transactions on Automation Science and Engineering, 4(2), 206-219. doi:10.1109/tase.2006.879916Ramirez-Trevino, A., Ruiz-Beltran, E., Rivera-Rangel, I., & Lopez-Mellado, E. (2007). Online Fault Diagnosis of Discrete Event Systems. A Petri Net-Based Approach. IEEE Transactions on Automation Science and Engineering, 4(1), 31-39. doi:10.1109/tase.2006.872120Dotoli, M., Fanti, M. P., Mangini, A. M., & Ukovich, W. (2009). On-line fault detection in discrete event systems by Petri nets and integer linear programming. Automatica, 45(11), 2665-2672. doi:10.1016/j.automatica.2009.07.021Fanti, M. P., Mangini, A. M., & Ukovich, W. (2013). Fault Detection by Labeled Petri Nets in Centralized and Distributed Approaches. IEEE Transactions on Automation Science and Engineering, 10(2), 392-404. doi:10.1109/tase.2012.2203596Basile, F., Chiacchio, P., & De Tommasi, G. (2009). An Efficient Approach for Online Diagnosis of Discrete Event Systems. IEEE Transactions on Automatic Control, 54(4), 748-759. doi:10.1109/tac.2009.2014932Roth, M., Lesage, J.-J., & Litz, L. (2011). The concept of residuals for fault localization in discrete event systems. Control Engineering Practice, 19(9), 978-988. doi:10.1016/j.conengprac.2011.02.008Roth, M., Schneider, S., Lesage, J.-J., & Litz, L. (2012). Fault detection and isolation in manufacturing systems with an identified discrete event model. International Journal of Systems Science, 43(10), 1826-1841. doi:10.1080/00207721.2011.649369Chung-Hsien Kuo, & Han-Pang Huang. (2000). Failure modeling and process monitoring for flexible manufacturing systems using colored timed Petri nets. IEEE Transactions on Robotics and Automation, 16(3), 301-312. doi:10.1109/70.850648Ramirez-Trevino, A., Ruiz-Beltran, E., Aramburo-Lizarraga, J., & Lopez-Mellado, E. (2012). Structural Diagnosability of DES and Design of Reduced Petri Net Diagnosers. IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 42(2), 416-429. doi:10.1109/tsmca.2011.2169950Cabasino, M. P., Giua, A., & Seatzu, C. (2014). Diagnosability of Discrete-Event Systems Using Labeled Petri Nets. IEEE Transactions on Automation Science and Engineering, 11(1), 144-153. doi:10.1109/tase.2013.2289360Yao, L., Feng, L., & Jiang, B. (2014). Fault Diagnosis and Fault Tolerant Control for Non-Gaussian Singular Time-Delayed Stochastic Distribution Systems. Mathematical Problems in Engineering, 2014, 1-9. doi:10.1155/2014/937583Murata, T. (1989). Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4), 541-580. doi:10.1109/5.24143Dotoli, M., Fanti, M. P., & Mangini, A. M. (2008). Real time identification of discrete event systems using Petri nets. Automatica, 44(5), 1209-1219. doi:10.1016/j.automatica.2007.10.014Muñoz, D. M., Correcher, A., García, E., & Morant, F. (2014). Identification of Stochastic Timed Discrete Event Systems with st-IPN. Mathematical Problems in Engineering, 2014, 1-21. doi:10.1155/2014/835312Latorre-Biel, J.-I., Jiménez-Macías, E., Pérez de la Parte, M., Blanco-Fernández, J., & Martínez-Cámara, E. (2014). Control of Discrete Event Systems by Means of Discrete Optimization and Disjunctive Colored PNs: Application to Manufacturing Facilities. Abstract and Applied Analysis, 2014, 1-16. doi:10.1155/2014/821707Cabasino, M. P., Giua, A., Lafortune, S., & Seatzu, C. (2012). A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets. IEEE Transactions on Automatic Control, 57(12), 3104-3117. doi:10.1109/tac.2012.2200372Abdelwahed, S., Karsai, G., Mahadevan, N., & Ofsthun, S. C. (2009). Practical Implementation of Diagnosis Systems Using Timed Failure Propagation Graph Models. IEEE Transactions on Instrumentation and Measurement, 58(2), 240-247. doi:10.1109/tim.2008.200595

Identification of Stochastic Timed Discrete Event Systems with st-IPN

[EN] This paper presents amethod for the identification of stochastic timed discrete event systems, based on the analysis of the behavior of the input and output signals, arranged in a timeline. To achieve this goal stochastic timed interpreted Petri nets are defined.These nets link timed discrete event systems modelling with stochastic time modelling. The procedure starts with the observation of the input/output signals; these signals are converted into events, so that the sequence of events is the observed language. This language arrives to an identifier that builds a stochastic timed interpreted Petri net which generates the same language. The identified model is a deterministic generator of the observed language.The identification method also includes an algorithm that determines when the identification process is over.This work was supported by a Grant from the Universidad del Cauca, reference 2.3-31.2/05 2011.Muñoz-Añasco, DM.; Correcher Salvador, A.; García Moreno, E.; Morant Anglada, FJ. (2014). Identification of Stochastic Timed Discrete Event Systems with st-IPN. Mathematical Problems in Engineering. 2014:1-21. https://doi.org/10.1155/2014/835312S1212014Cassandras, C. G., & Lafortune, S. (Eds.). (2008). Introduction to Discrete Event Systems. doi:10.1007/978-0-387-68612-7Yingwei Zhang, Jiayu An, & Chi Ma. (2013). Fault Detection of Non-Gaussian Processes Based on Model Migration. IEEE Transactions on Control Systems Technology, 21(5), 1517-1526. doi:10.1109/tcst.2012.2217966Ichikawa, A., & Hiraishi, K. (s. f.). Analysis and control of discrete event systems represented by petri nets. Lecture Notes in Control and Information Sciences, 115-134. doi:10.1007/bfb0042308Fanti, M. P., Mangini, A. M., & Ukovich, W. (2013). Fault Detection by Labeled Petri Nets in Centralized and Distributed Approaches. IEEE Transactions on Automation Science and Engineering, 10(2), 392-404. doi:10.1109/tase.2012.2203596Cabasino, M. P., Giua, A., & Seatzu, C. (2010). Fault detection for discrete event systems using Petri nets with unobservable transitions. Automatica, 46(9), 1531-1539. doi:10.1016/j.automatica.2010.06.013Hu, H., Zhou, M., Li, Z., & Tang, Y. (2013). An Optimization Approach to Improved Petri Net Controller Design for Automated Manufacturing Systems. IEEE Transactions on Automation Science and Engineering, 10(3), 772-782. doi:10.1109/tase.2012.2201714Hu, H., Zhou, M., & Li, Z. (2011). Supervisor Optimization for Deadlock Resolution in Automated Manufacturing Systems With Petri Nets. IEEE Transactions on Automation Science and Engineering, 8(4), 794-804. doi:10.1109/tase.2011.2156783Hiraishi, K. (1992). Construction of a class of safe Petri nets by presenting firing sequences. Lecture Notes in Computer Science, 244-262. doi:10.1007/3-540-55676-1_14Estrada-Vargas, A. P., López-Mellado, E., & Lesage, J.-J. (2010). A Comparative Analysis of Recent Identification Approaches for Discrete-Event Systems. Mathematical Problems in Engineering, 2010, 1-21. doi:10.1155/2010/453254Shaolong Shu, & Feng Lin. (2013). I-Detectability of Discrete-Event Systems. IEEE Transactions on Automation Science and Engineering, 10(1), 187-196. doi:10.1109/tase.2012.2215959Li, L., & Hadjicostis, C. N. (2011). Least-Cost Transition Firing Sequence Estimation in Labeled Petri Nets With Unobservable Transitions. IEEE Transactions on Automation Science and Engineering, 8(2), 394-403. doi:10.1109/tase.2010.2070065Supavatanakul, P., Lunze, J., Puig, V., & Quevedo, J. (2006). Diagnosis of timed automata: Theory and application to the DAMADICS actuator benchmark problem. Control Engineering Practice, 14(6), 609-619. doi:10.1016/j.conengprac.2005.03.028Dotoli, M., Fanti, M. P., & Mangini, A. M. (2008). Real time identification of discrete event systems using Petri nets. Automatica, 44(5), 1209-1219. doi:10.1016/j.automatica.2007.10.014Chen, Y., Li, Z., Khalgui, M., & Mosbahi, O. (2011). Design of a Maximally Permissive Liveness- Enforcing Petri Net Supervisor for Flexible Manufacturing Systems. IEEE Transactions on Automation Science and Engineering, 8(2), 374-393. doi:10.1109/tase.2010.2060332Murata, T. (1989). Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4), 541-580. doi:10.1109/5.24143Ramirez-Trevino, A., Ruiz-Beltran, E., Aramburo-Lizarraga, J., & Lopez-Mellado, E. (2012). Structural Diagnosability of DES and Design of Reduced Petri Net Diagnosers. IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 42(2), 416-429. doi:10.1109/tsmca.2011.2169950Ramirez-Trevino, A., Ruiz-Beltran, E., Rivera-Rangel, I., & Lopez-Mellado, E. (2007). Online Fault Diagnosis of Discrete Event Systems. A Petri Net-Based Approach. IEEE Transactions on Automation Science and Engineering, 4(1), 31-39. doi:10.1109/tase.2006.872120Toutenburg, H. (1974). Fleiss, J. L.: Statistical Methods for Rates and Proportions. John Wiley & Sons, New York-London-Sydney-Toronto 1973. XIII, 233 S. Biometrische Zeitschrift, 16(8), 539-539. doi:10.1002/bimj.19740160814Livingston, E. H., & Cassidy, L. (2005). Statistical Power and Estimation of the Number of Required Subjects for a Study Based on the t-Test: A Surgeon’s Primer. Journal of Surgical Research, 126(2), 149-159. doi:10.1016/j.jss.2004.12.013Ruppert, D. (2011). Statistics and Data Analysis for Financial Engineering. Springer Texts in Statistics. doi:10.1007/978-1-4419-7787-