NDLI: Interacting behavioral Petri nets analysis for distributed causal model-based diagnosis

Content Provider	Springer Nature Link
Author	Benui, Hammadi
Copyright Year	2013
Abstract	This paper deals with the problem of spatially distributed causal model-based diagnosis on interacting behavioral petri nets (BPNs). The system to be diagnosed comprises different interacting subsystems (each modeled as a BPN) and the diagnostic system is defined as a multi-agent system where each agent is designed to diagnose a particular subsystem on the basis of its local model, the local received observation and the information exchanged with the neighboring agents. The interactions between subsystems are captured by tokens that may pass from one net model to another via bordered places. The diagnostic reasoning scheme is accomplished locally within each agent by exploiting classical analysis techniques of Petri nets like reachability graph and invariant analysis. Once local diagnoses are obtained, agents begin to communicate to ensure that such diagnoses are consistent and recover completely the results that would be obtained by a centralized agent having a global view about the whole system. The paper concludes with an empirical comparison, in terms of the running time, of two implementations of Petri net analysis techniques used as a distributed diagnostic reasoning schemes.
Starting Page	155
Ending Page	181
Page Count	27
File Format	PDF
ISSN	13872532
Journal	Autonomous Agents and Multi-Agent Systems
Volume Number	28
Issue Number	2
e-ISSN	15737454
Language	English
Publisher	Springer US
Publisher Date	2013-01-22
Publisher Place	Boston
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Model-based diagnosis Causal models Petri nets Reachability analysis P-invariants Artificial Intelligence (incl. Robotics) Computer Systems Organization and Communication Networks Computing Methodologies Software Engineering/Programming and Operating Systems User Interfaces and Human Computer Interaction
Content Type	Text
Resource Type	Article
Subject	Artificial Intelligence

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Diagnosis of coordination failures: a matrix-based approach

Petri Net Plans : A framework for collaboration and coordination in multi-robot systems

A logic-based agent that plans for extended reachability goals

Interacting with team oriented plans in multi-robot systems

Computational logic-based agents

A graphical formalism for mixed multi-unit combinatorial auctions

Distributed Causal Model-Based Diagnosis Based on Interacting Behavioral Petri Nets

A capabilities-based model for adaptive organizations

Models and methods for plan diagnosis

Interacting behavioral Petri nets analysis for distributed causal model-based diagnosis

Similar Documents

Diagnosis of coordination failures: a matrix-based approach

Petri Net Plans : A framework for collaboration and coordination in multi-robot systems

A logic-based agent that plans for extended reachability goals

Interacting with team oriented plans in multi-robot systems

Computational logic-based agents

A graphical formalism for mixed multi-unit combinatorial auctions

Distributed Causal Model-Based Diagnosis Based on Interacting Behavioral Petri Nets

A capabilities-based model for adaptive organizations

Models and methods for plan diagnosis

Interacting behavioral Petri nets analysis for distributed causal model-based diagnosis