Development of a forecasting agent based on a fuzzy neural Petri net for predicting abnormal situations in automation systems

2021 ◽  
Author(s):  
A. A. Sukonschikov ◽  
A. N. Shvetsov ◽  
I. A. Andrianov ◽  
D. V. Kochkin ◽  
S. A. Sorokin
Keyword(s):  
Petri Net ◽  
Agent Based ◽  
Automation Systems ◽  
Fuzzy Neural

scholarly journals Modeling a holonic agent based solution by Petri nets

2012 ◽  
Vol 9 (3) ◽  
pp. 1287-1305 ◽  
Author(s):  
Carlos Pascal ◽  
Doru Panescu
Keyword(s):  
Resource Allocation ◽  
Petri Nets ◽  
Petri Net ◽  
Coordination Mechanisms ◽  
Allocation Mechanism ◽  
Simulation Experiments ◽  
Agent Based ◽  
Manufacturing Execution Systems ◽  
Resource Allocation Mechanism ◽  
Manufacturing Execution

One of the key design issues for distributed systems is to find proper planning and coordination mechanisms when knowledge and decision capabilities are spread along the system. This contribution refers holonic manufacturing execution systems and highlights the way a proper modeling method - Petri nets - makes evident certain problems that can appear when agents have to simultaneously treat more goals. According to holonic organization the planning phase is mainly dependent on finding an appropriate resource allocation mechanism. The type of weakness is established by means of the proposed Petri net models and further proved by simulation experiments. A solution to make the holonic scheme avoid a failure in resource allocation is mentioned, too.

Formal Modeling and Analysis of Collaborative Humanoid Robotics

2019 ◽  
pp. 1086-1108
Author(s):  
Yujian Fu ◽  
Zhijiang Dong ◽  
Xudong He
Keyword(s):  
Petri Net ◽  
Control Strategies ◽  
Formal Modeling ◽  
Humanoid Robotics ◽  
Modeling And Analysis ◽  
Agent Based ◽  
Design And Implementation ◽  
Simulation Results ◽  
And Control ◽  
Successful Collaboration

A humanoid robot is inherently complex due to the heterogeneity of accessory devices and to the interactions of various interfaces, which will be exponentially increased in multiple robotics collaboration. Therefore, the design and implementation of multiple humanoid robotics (MHRs) remains a very challenging issue. It is known that formal methods provide a rigorous analysis of the complexity in both design of control and implementation of systems. This article presents an agent-based framework of formal modeling on the design of communication and control strategies of a team of autonomous robotics, to attain the specified tasks in a coordinated manner. To ensure a successful collaboration of multiple robotics, this formal agent-based framework captures behaviors in Petri Net models and specifies collaboration operations in four defined operations. To validate the framework, a non-trivial soccer bot set was implemented and simulation results were discussed.

TOWARDS AGENT-BASED MODELING AND VERIFICATION OF COLLABORATIVE BUSINESS PROCESSES: AN APPROACH CENTERED ON INTERACTIONS AND BEHAVIORS

2009 ◽  
Vol 18 (03n04) ◽  
pp. 423-479 ◽  
Author(s):  
MARCO STUIT ◽  
NICK B. SZIRBIK
Keyword(s):  
Business Process ◽  
Petri Net ◽  
Process Design ◽  
Business Processes ◽  
Colored Petri Net ◽  
Agent Based ◽  
Verification Method ◽  
Design Time ◽  
Collaborative Business Process

This paper presents the process-oriented aspects of a formal and visual agent-based business process modeling language. The language is of use for (networks of) organizations that elect or envisage multi-agent systems for the support of collaborative business processes. The paper argues that the design of a collaborative business process should start with a proper understanding of the work practice of the agents in the business domain under consideration. The language introduces a novel diagram to represent the wide range of (cross-enterprise) business interactions as a hierarchy of role-based interactions (including their ordering relations) in a tree structure. The behaviors owned by the agents playing the roles in the tree are specified in separate process diagrams. A collaborative business process studied in the context of a case study at a Dutch gas transport company is used to exemplify the modeling approach. Explicit (agent-based) process models can and should be verified using formal methods. In the business process community, design-time verification of a process design is considered vital in order to ensure the correctness and termination of a collaborative business process. The proposed modeling approach is enhanced with a design-time verification method. The direction taken in this research is to combine the interaction tree and the associated agent behaviors into a verifiable hierarchical colored Petri net in order to take advantage of its well-defined (execution) semantics and proven (computerized) verification techniques. The verification method presented in this paper consists of three steps: (1) the translation of the agent-based process design to a hierarchical colored Petri net, (2) the identification of process design errors, and (3) the correction and rollback of process design errors to the agent-based model. The translation technique has been implemented in a software tool that outputs the hierarchical colored Petri net in a format that can be loaded in the widely used CPN Tools software package. Verification results are discussed for the case study model.

Sign in / Sign up

Export Citation Format

Share Document