Diagnosability of automated production systems using Petri net based models

被引：0

作者：

Sekhri, L ^{[1
]}

Toguyéni, AKA ^{[1
]}

Craye, E ^{[1
]}

机构：

[1] Univ Oran, Oran, Algeria

来源：

2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7 | 2004年

关键词：

functional graph; functional net; Petri nets; diagnosability;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper presents a method for studying diagnosability of Automated Production Systems (APS) using Petri nets theory. APS are assumed to be modeled as Functional Graphs. The method enables a systematic translation of Functional Graphs into Petri nets called Functional nets that preserve their semantic (causal relations). Our method is based on motif recognition and a priority rule between these motifs. The method exploits the Functional Graph hierarchy to capture motifs between levels in a Functional Graph. Properties of Functional nets are discussed and propositions are given to analyze the nets to obtain information about the diagnosability in Functional Graphs.

引用

页码：5091 / 5096

页数：6

共 13 条

[1]

[Anonymous], PETRI NETS SYNTHESIS

[2]

BARKAOUI K, 1996, P 17 INT C APPL THEO

[3] MODELING AND ANALYSIS OF COMMUNICATION AND COOPERATION PROTOCOLS USING PETRI NET BASED MODELS [J].

DIAZ, M .

COMPUTER NETWORKS AND ISDN SYSTEMS, 1982, 6 (06) :419-441

[4]

Lautenbach K., 1993, LECT NOTES COMPUTER, V815, P358

[5] DETECTION OF ADA STATIC DEADLOCKS USING PETRI NET INVARIANTS [J].

MURATA, T ;

SHENKER, B ;

SHATZ, SM .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1989, 15 (03) :314-326

[6] PETRI NETS - PROPERTIES, ANALYSIS AND APPLICATIONS [J].

MURATA, T .

PROCEEDINGS OF THE IEEE, 1989, 77 (04) :541-580

[7]

PAOLI A, 2003, CGR0302 U MICH DEP E

[8]

Sampath M., 1995, IEEE T AUTOMATIC CON, V40, pSeptember1995

[9]

SEKHRI L, 2003, P COMP ENG SYST APPL

[10]

SEKHRI L, 2002, P IEEE SMC 02, V1

← 1 2 →