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-

Self-modifiable color petri nets for modeling user manipulation and network event handling

A Self-Modifiable Color Petri Net (SMCPN) which has multimedia synchronization capability and the ability to model user manipulation and network event (i.e. network congestion, etc.) handling is proposed in this paper. In SMCPN, there are two types of tokens: resource tokens representing resources to be presented and color tokens with two sub-types: one associated with some commands to modify the net mechanism in operation, another associated with a number to decide iteration times. Also introduced is a new type of resource token named reverse token that moves to the opposite direction of arcs. When user manipulation/network event occurs, color tokens associated with the corresponding interrupt handling commands will be injected into places that contain resource tokens. These commands are then executed to handle the user manipulation/network event. SMCPN has the desired general programmability in the following sense: 1) It allows handling of user manipulations or pre-specified events at any time while keeping the Petri net design simple and easy. 2) It allows the user to customize event handling beforehand. This means the system being modeled can handle not only commonly seen user interrupts (e.g. skip, reverse, freeze), the user is free to define new operations including network event handling. 3) It has the power to simulate self-modifying protocols. A simulator has been built to demonstrate the feasibility of SMCPN

Software Agent Architecture for Managing Inter-Organizational Collaborations

The growing importance of cooperation among organizations, as a result of globalization, current market opportunities and technological advances, encourages organizations to dynamically establish inter-organizational collaborations. These collaborations are carried out by executing collaborative business processes among the organizations. In this work we propose an agent-based software architecture for managing inter-organizational collaborations. Two types of agents are provided: the Collaboration Administrator Agent and the Process Administrator Agent. The former allows organizations setting up collaborations. The latter allows organizations executing collaborative business processes. A Colored Petri Net model specifying the role, which an organization fulfills in a collaborative process, is used to carry out the behavior of the Process Administrator Agent that represents the organization. Planning and execution of the actions of the Process Administrator Agents are driven by a Colored Petri Net machine embedded to them. Thus, Process Administrator Agents do not require to have defined at design-time the protocols they can support. In addition, we propose a model-driven development method for generating Colored Petri Net models from a collaborative process model defined as interaction protocol. Finally, an implementation of the agent-based software architecture and methods based on model-driven development are presented.La creciente importancia de la cooperación entre las organizaciones, como consecuencia de la globalización, las oportunidades actuales de mercado y los avances tecnológicos, alienta a las organizaciones a establecer en forma dinámica colaboraciones inter-organizacionales. Estas colaboraciones se llevan a cabo mediante la ejecución de procesos de negocio colaborativos entre las organizaciones. En este trabajo de investigación se propone una arquitectura basada en agentes de software para la gestión de colaboraciones inter-organizacionales. La arquitectura provee dos tipos de agentes: el Agente Administrador de Colaboraciones y el Agente Administrador de Proceso. El primer agente permite a las organizaciones a establecer colaboraciones. El segundo agente habilita a las organizaciones ejecutar procesos de negocio colaborativos. El rol que una organización desempeña en un proceso colaborativo es especificado mediante un modelo de redes de Petri coloreadas. Este modelo es usado para dirigir el comportamiento del Agente Administrador de Proceso, el cual representa a una organización. La ejecución de los planes y las acciones del Agente Administrador de Proceso son dirigidas mediante una máquina de redes de Petri coloreadas embebida en el agente. Entonces, los Agentes Administrador de Proceso no requieren tener definido en tiempo de diseño los protocolos que dan soporte a su comportamiento. Adicionalmente, se propone un método basado en el desarrollo dirigido por modelos para la generación en forma automática de modelos de redes de Petri coloreadas a partir de un modelo de procesos de negocio colaborativo definido como protocolo de interacción. Finalmente, la implementación de la arquitectura y los métodos basados en el desarrollo dirigido por modelos son presentados.Fil: Tello Leal, Edgar. Universidad Autónoma de Tamaulipas; MéxicoFil: Chiotti, Omar Juan Alfredo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Santa Fe. Instituto de Desarrollo y Diseño (i); ArgentinaFil: Villarreal, Pablo David. Universidad Tecnologica Nacional. Facultad Regional Santa Fe. Centro de Investigacion y Desarrollo de Ingenieria En Sistemas de Informacion; Argentin

E-BioFlow: Different Perspectives on Scientific Workflows

We introduce a new type of workflow design system called\ud e-BioFlow and illustrate it by means of a simple sequence alignment workflow. E-BioFlow, intended to model advanced scientific workflows, enables the user to model a workflow from three different but strongly coupled perspectives: the control flow perspective, the data flow perspective, and the resource perspective. All three perspectives are of\ud equal importance, but workflow designers from different domains prefer different perspectives as entry points for their design, and a single workflow designer may prefer different perspectives in different stages of workflow design. Each perspective provides its own type of information, visualisation and support for validation. Combining these three perspectives in a single application provides a new and flexible way of modelling workflows

Towards a Layered Architectural View for Security Analysis in SCADA Systems

Supervisory Control and Data Acquisition (SCADA) systems support and control the operation of many critical infrastructures that our society depend on, such as power grids. Since SCADA systems become a target for cyber attacks and the potential impact of a successful attack could lead to disastrous consequences in the physical world, ensuring the security of these systems is of vital importance. A fundamental prerequisite to securing a SCADA system is a clear understanding and a consistent view of its architecture. However, because of the complexity and scale of SCADA systems, this is challenging to acquire. In this paper, we propose a layered architectural view for SCADA systems, which aims at building a common ground among stakeholders and supporting the implementation of security analysis. In order to manage the complexity and scale, we define four interrelated architectural layers, and uses the concept of viewpoints to focus on a subset of the system. We indicate the applicability of our approach in the context of SCADA system security analysis.Comment: 7 pages, 4 figure

From types to type requirements: Genericity for model-driven engineering

The final publication is available at Springer via http://dx.doi.org/10.1007/s10270-011-0221-0Model-driven engineering (MDE) is a software engineering paradigm that proposes an active use of models during the development process. This paradigm is inherently type-centric, in the sense that models and their manipulation are defined over the types of specific meta-models. This fact hinders the reuse of existing MDE artefacts with other meta-models in new contexts, even if all these meta-models share common characteristics. To increase the reuse opportunities of MDE artefacts, we propose a paradigm shift from type-centric to requirement-centric specifications by bringing genericity into models, meta-models and model management operations. For this purpose, we introduce so-called concepts gathering structural and behavioural requirements for models and meta-models. In this way, model management operations are defined over concepts, enabling the application of the operations to any meta-model satisfying the requirements imposed by the concept. Model templates rely on concepts to define suitable interfaces, hence enabling the definition of reusable model components. Finally, similar to mixin layers, templates can be defined at the meta-model level as well, to define languages in a modular way, as well as layers of functionality to be plugged-in into other meta-models. These ideas have been implemented in MetaDepth, a multi-level meta-modelling tool that integrates action languages from the Epsilon family for model management and code generation.This work has been sponsored by the Spanish Ministry of Science and Innovation with projects METEORIC (TIN2008-02081) and Go Lite (TIN2011-24139), and by the R&D program of the Community of Madrid with project “e-Madrid” (S2009/TIC-1650)