On Reachability Analysis of Multi Agent Nets

Murakami, Toshiyuki; Sakamoto, Masanao; Kumagai, Shinya

doi:10.1093/ietfec/e90-a.10.2257

Cited by 4 publications

(2 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Each Agent of MAS has its capacity to solve incomplete information of different problems. No global control exists, data are scattered, and the computation is asynchronous [6][7]. Its goal is to construct a complex system a number of small systems that are easy to manage, communicate with each other, and work with collaboration.…”

Section: Agent and Multi-agent Systemmentioning

confidence: 99%

Wireless Monitoring System for Mechanical Equipment Based on Multi-Agent Technology

Chi

et al. 2011

AMR

View full text Add to dashboard Cite

For the status quo that monitoring system for mechanical equipment has limited ability to integrate information and make decision, designed the model of wireless monitoring system for mechanical equipment based on multi-Agent technology, discussed means to exchange information and communication principle among each Agent, proposed method to adjust performance parameters and task data for inference results of decision-making-Agent based on BP neural network control algorithm, realized automatic and intelligent monitoring for mechanical equipment performance.

show abstract

Section: Agent and Multi-agent Systemmentioning

confidence: 99%

Wireless Monitoring System for Mechanical Equipment Based on Multi-Agent Technology

Chi

et al. 2011

AMR

View full text Add to dashboard Cite

show abstract

“…• the use of CP nets and CPN Tools to model and/or analyze agent interaction protocols, and agent negotiation processes; [89][90][91] • the use of (H)CP nets (and other Petri net variants) to study and analyze MAS plans; [92][93] • the use of CP nets to study agent social systems or social aspects; [94][95] • the use of CP nets (and other Petri net variants) to specify and analyze (1) agent behaviors and interactions or (2) the structure of distributed software systems. [96][97][98][99][100][101][102] These Petri net-based approaches are not process-oriented since the focus is not on business processes modeling and analysis. Their emphasis is on system interaction and behavior, and (agent) implementation details.…”

Section: Agent-driven Workflow and The Use Of Petri Netsmentioning

confidence: 99%

Towards Agent-Based Modeling and Verification of Collaborative Business Processes: An Approach Centered on Interactions and Behaviors

Stuit

Szirbik²

2009

Int. J. Coop. Info. Syst.

View full text Add to dashboard Cite

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 rolebased 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 welldefined (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.

show abstract