Process architecture

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

A Case Study in Design and Verification of Manufacturing System Control Software with Hierarchical Petri Nets

Abstract: The application of Petri nets is one of the well-known approaches for developing provably error-free control software for manufacturing systems. To evaluate the practicability of available methods and tools for at least medium-sized systems, a case study has been performed to develop modularised control software of a production cell with hierarchical Petri nets, supporting reuse as well as stepwise validation.

Cognitive Engineering: A Distributed Approach to Machine Intelligence

Abstract: The Psychological Basis of Cognitive Modeling.- Parallel and Distributed Logic Programming.- Distributed Reasoning by Fuzzy Petri Nets: A Review.- Belief Propagation and Belief Revision Models in Fuzzy Petri Nets.- Building Expert Systems Using Fuzzy Petri Nets.- Distributed Learning Using Fuzzy Cognitive Maps.- Unsupervised Learning by Fuzzy Petri Nets.- Supervised Learning by a Fuzzy Petri Net.- Distributed Modeling of Abduction, Reciprocity, and Duality by Fuzzy Petri Nets.- Human Mood Detection and Control: A Cybernetic Approach.- Distributed Planning and Multi-agent Coordination of Robots.

A new approach to verify rule-based systems using petri nets

Abstract: In the past several years, various graphical techniques were proposed to analyze various types of structural errors, including inconsistency (conflict rules), incompleteness (missing rules), redundancy (redundant rules), and circularity (circular depending rules), in rule-based systems in which rules can be represented in propositional logic. In this paper, we present a special reachability graph technique based on ω-nets (a special type of low-level petri nets) to detect all of the above types of structural errors. Our new technique is simple, efficient, and can be easily automated. We highlight the unique features of this new approach and demonstrate its application through two examples.

Planning via heuristic search in a Petri net framework

Abstract: An artificial intelligence planning system's main components consist of a planner and a problem domain. The problem domain is the environment about which the planner reasons and on which it takes action. In the paper, a special type of extended input/output Petri net is defined and then used as the problem representation for a wide class of problem domains. A planning strategy is developed using results from the theory of heuristic search. In particular, using the developed Petri net framework and metric spaces, a class of heuristic functions that are both admissible and consistent for the A* algorithm is specified. The planning system architecture is discussed, and, as an illustration of the results, two simple planning problems are modeled and solved. >

Stochastic modeling and analysis using QPME: queueing petri net modeling environment v2.0

Abstract: Queueing Petri nets are a powerful formalism that can be exploited for modeling distributed systems and analyzing their performance and scalability. By combining the modeling power and expressiveness of queueing networks and stochastic Petri nets, queueing Petri nets provide a number of advantages. In this paper, we present our tool QPME (Queueing Petri net Modeling Environment) for modeling and analysis using queueing Petri nets. QPME provides an Eclipse-based editor for building queueing Petri net models and a powerful simulation engine for analyzing these models. The development of the tool started in 2003 and since then the tool has been distributed to more than 120 organizations worldwide.