Process architecture

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

Knowledge intensive Petri net framework for concurrent intelligent design of automatic assembly systems

Abstract: The integration of design and planning of flexible assembly system has been recognized as a tool for achieving efficient assembly in a production environment that demands assembly with a high degree of flexibility. This paper proposes a concurrent intelligent approach and framework for the design of robotic flexible assembly systems. The principle of the proposed approach is based on the knowledge Petri net formalisms, incorporating Petri nets with more general problem-solving strategies in AI using knowledge-based system techniques. The complex assembly systems are modeled and analyzed by adopting a formal representation of the system dynamic behaviors through knowledge Petri net modeling from the specifications and the analysis of those models. A template is first defined for a knowledge Petri net model, and then the models for assembly system individuals are established in the form of instances of the template. The design of assembly systems is implemented through a knowledge Petri net-based function–behavior–structure model. The research results show that the proposed knowledge Petri net approach is applicable for design, simulation, analysis and evaluation, and even layout optimization of the flexible assembly system in an integrated intelligent environment. The integration of assembly design and planning process can help reduce the development time of assembly systems.

Specifying and verifying real-time self-adaptive systems

Abstract: Self-adaptive systems autonomously adapt their behavior at run-time to react to internal dynamics and to uncertain and changing environment conditions. Specification and verification of self-adaptive systems are generally very difficult to carry out due to their high complexity, especially when involving time constraints. In the last case, in fact, the correctness of systems depends also on the time associated with events. This paper introduces a formal approach to specify and verify the self-adaptive behavior of real-time systems. Our specification formalism is based on Time-Basic Petri nets, a particular timed extension of Petri nets. We propose adaptation models to realize self-adaptation with temporal constraints and we adopt a zone-based modeling approach to support separation of concerns during the modeling phase. Zones identified during the modeling phase can be then used as modules (TB Petri subnets) either in isolation, to verify intra-zone properties, or all together, to verify inter-zone properties over the entire system model and check that all the temporal deadlines are met. We illustrate our approach by modeling and verifying a time-critical Gas Burner system that exhibits a self-healing behavior.

A distributed simulator for high order Petri nets

Abstract: This paper describes a distributed simulator of high order Petri nets for a parallel computer. It shows how the inherent parallelism of a Petri net can be used to obtain a fast simulator. The design decisions made in implementing a distributed simulator in hardware and software are discussed and a detailed description of both is given.

Modeling e-negotiation activities with Petri nets

Abstract: Electronic negotiation involves two or more agents multilaterally bargaining for mutual gain, using information technologies in a cooperative problem-solving (CPS) environment. Most of the existing work deals with the development of strategies for supporting negotiation activities in a pre-defined problem structure. In this paper, we focus on the information flow among the different entities of e-negotiation. We present a Petri net-based generic framework for modeling e-negotiation. Our approach provides a theoretical framework for studying e-negotiation activities at a conceptual and logical level.

Failure diagnosis: a case study on modeling and analysis by Petri nets

Abstract: Failure diagnosis in the context of DES was first formulated by Sampath et al Where the notion of diagnosability and the associated diagnoser are proposed Ushio et al extended Sampath's study to systems modeled by Petri nets This paper further assumes some of the transitions in a Petri net model are observable in the sense that its occurrence can be observed The main contribution of this study shows how diagnosers and verifiers for systems modeled by Petri net are constructed accordingly As shown by examples, the additional information from observed transitions adds diagnosability to the system