Process architecture

About: Process architecture is a research topic. Over the lifetime, 4876 publications have been published within this topic receiving 104171 citations.

Fault Detection and Diagnosis in Distributed Systems: An Approach by Partially Stochastic Petri Nets

Abstract: We address the problem of alarm correlation in large distributed systems. The key idea is to make use of the concurrence of events in order to separate and simplify the state estimation in a faulty system. Petri nets and their causality semantics are used to model concurrency. Special partially stochastic Petri nets are developed, that establish some kind of equivalence between concurrence and independence. The diagnosis problem is defined as the computation of the most likely history of the net given a sequence of observed alarms. Solutions are provided in four contexts, with a gradual complexity on the structure of observations.

A Petri Net Structure– Based Deadlock Prevention Solution for Sequential Resource Allocation Systems

Abstract: A new method for the deadlock prevention problem in concurrent systems where a set of processes share a set of common resources in a conservative way is proposed. It can be applied to flexible manufacturing systems, modeled with Petri nets. In this paper, we present a set of important results related to the deadlock prevention problem in S4PR nets. First, a liveness characterization is introduced, establishing how deadlocks can be studied in terms of circular waits. Second, we show how a circular wait situation corresponds to a particular marking related to a siphon of the Petri net model. Finally, this last characterization is used to obtain an iterative method that successively forbids deadlock related states, synthesizing the control necessary to ensure a final live behavior. The method can be implemented by means of the solutions of a set of integer linear programming problems.

Petri Nets in Flexible and Agile Automation

Abstract: Preface. 1. Introduction to Petri Nets in Flexible and Agile Automation MengChu Zhou, R. Zurawski. 2. Application of Petri Nets to Sequence Control Programming T. Murata. 3. Computer Aided Design of Logic Controllers with Petri Nets L. Ferrarini. 4. Automatic Generation of Sequence Control Programs via Petri Nets and Logic Tables for Industrial Applications T. Sato, K. Nose. 5. Planning and Scheduling Based on Petri Nets J.-M. Proth, I. Minis. 6. Petri Net-Based Heuristic Scheduling for Flexible Manufacturing Doo Young Lee, F. DiCesare. 7. Scheduling and Rescheduling of AGVs for Flexible and Agile Manufacturing Shifang Li, T. Takamori, S. Tadokoro. 8. Stochastic Petri Net Models of Communication and Flexible Systems Jiacun Wang, Shengbing Jiang. 9. Deadlock Avoidance Policy for Flexible Manufacturing Systems Keyi Xing, Baosheng Hu, Haoxun Chen. 10. Discrete-Event Control Design for Manufacturing Systems via Ladder Logic Diagrams and Petri Nets: a Comparative Study K. Venkatesh, MengChu Zhou, R.J. Caudill. 11. From State Transition Models to DFD Extended Methods for Specifying Reactive Systems Abd-El-Kader Sahraoui. 12. Supervisory Control Specification and Synthesis M. Jafari. Index.