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
    IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 1995, 142 (04): : 263 - 271
  • [2] From Coloured Petri Nets to Object Petri Nets
    Lakos, C
    APPLICATION AND THEORY OF PETRI NETS 1995, 1995, 935 : 278 - 297
  • [3] Maximally permissive controller synthesis for time Petri nets
    Heidari, Parisa
    Boucheneb, Hanifa
    INTERNATIONAL JOURNAL OF CONTROL, 2013, 86 (03) : 493 - 511
  • [4] Controller Synthesis of Time Petri Nets Using Stopwatch
    Heidari, Parisa
    Boucheneb, Hanifa
    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
    International Conference on Computing, Communications and Control Technologies, Vol 5, Proceedings, 2004, : 27 - 31
  • [6] Properties of object Petri nets
    Köhler, M
    Rölke, H
    APPLICATIONS AND THEORY OF PETRI NETS 2004, PROCEEDINGS, 2004, 3099 : 278 - 297
  • [7] Reduction of constraints for controller synthesis based on safe Petri Nets
    Dideban, Abbas
    Alla, Hassane
    AUTOMATICA, 2008, 44 (07) : 1697 - 1706
  • [8] Extension of the LIP method for Petri nets controller synthesis of DES
    Wang Kai
    Wu Wei-min
    Lu Fei-hua
    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
    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
    ROBOTICS, AUTOMATION AND CONTROL AND MANUFACTURING: TRENDS, PRINCIPLES AND APPLICATIONS, 2002, 14 : 365 - 370
12345