Controller synthesis for object Petri nets

被引：0

作者：

Farwer, B ^{[1
]}

Kalvala, S

Misra, K

机构：

[1] Univ Hamburg, Fachbereich Informat, D-22527 Hamburg, Germany

[2] Univ Warwick, Dept Comp Sci, Coventry CV4 7AL, W Midlands, England

来源：

FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS | 2003年 / 2885卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

A large class of real-world systems can be modelled as Petri nets, and complex systems are more conveniently modelled as object Petri nets. Ensuring that Petri net models avoid forbidden states has attracted much research effort. The work presented addresses the forbidden state problem for object Petri nets, through a method for controller synthesis. A simple illustrative example is given as well as an illustration in a flexible manufacturing system. The concept of place invariants plays an important role in Petri net theory. For the first time, place invariants are defined for object Petri nets.

引用

页码：432 / 451

页数：20

共 50 条

[1] PARALLEL CONTROLLER SYNTHESIS USING PETRI NETS
KOZLOWSKI, T
DAGLESS, EL
SAUL, JM
ADAMSKI, M
SZAJNA, J
[J]. IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 1995, 142 (04): : 263 - 271
[2] From Coloured Petri Nets to Object Petri Nets
Lakos, C
[J]. APPLICATION AND THEORY OF PETRI NETS 1995, 1995, 935 : 278 - 297
[3] Maximally permissive controller synthesis for time Petri nets
Heidari, Parisa
Boucheneb, Hanifa
[J]. INTERNATIONAL JOURNAL OF CONTROL, 2013, 86 (03) : 493 - 511
[4] Controller Synthesis of Time Petri Nets Using Stopwatch
Heidari, Parisa
Boucheneb, Hanifa
[J]. JOURNAL OF ENGINEERING, 2013, 2013
[5] Using colored Petri nets to simulate object Petri nets
Corchado, FFR
Gallegos, FZ
Jiménez, AA
Dávila, HIP
[J]. International Conference on Computing, Communications and Control Technologies, Vol 5, Proceedings, 2004, : 27 - 31
[6] Reduction of constraints for controller synthesis based on safe Petri Nets
Dideban, Abbas
Alla, Hassane
[J]. AUTOMATICA, 2008, 44 (07) : 1697 - 1706
[7] Properties of object Petri nets
Köhler, M
Rölke, H
[J]. APPLICATIONS AND THEORY OF PETRI NETS 2004, PROCEEDINGS, 2004, 3099 : 278 - 297
[8] Extension of the LIP method for Petri nets controller synthesis of DES
Wang Kai
Wu Wei-min
Lu Fei-hua
[J]. PROCEEDINGS OF 2005 CHINESE CONTROL AND DECISION CONFERENCE, VOLS 1 AND 2, 2005, : 231 - 233
[9] Synthesis of ladder diagrams from Petri nets controller models
Jiménez, I
López, E
Ramírez, A
[J]. PROCEEDINGS OF THE 2001 IEEE INTERNATIONAL SYMPOSIUM ON INTELLIGENT CONTROL (ISIC'01), 2001, : 225 - 230
[10] Object Petri nets for synthesis of the control of automated manufacture systems
Nied, A
[J]. ROBOTICS, AUTOMATION AND CONTROL AND MANUFACTURING: TRENDS, PRINCIPLES AND APPLICATIONS, 2002, 14 : 365 - 370

← 1 2 3 4 5 →