Analysis and design of reconfigurable logic controllers based on signal interpreted Petri nets

Dongnan Daxue Xuebao (Ziran Kexue Ban)/Journal of Southeast University (Natural Science Edition)

Volumn 34, Issue SUPPL., 2004, Pages 101-107

  Li, Jun ^a   Dai, Xianzhong ^a   Meng, Zhengda ^a  

^a SOUTHEAST UNIVERSITY   (China)

Author keywords

CORBA component model; Reconfigurable logic controller; Reconfigurable manufacturing system; Signal interpreted Petri nets

Indexed keywords

COMPUTER SOFTWARE; DESIGN; MANUFACTURE; PETRI NETS; SIGNAL PROCESSING;

COMMON OBJECT REQUEST BROKER ARCHITECTURE; CORBA COMPONENT MODEL; RECONFIGURABLE LOGIC CONTROLLER; RECONFIGURABLE MANUFACTURING SYSTEM; SIGNAL INTERPRETED PETRI NETS; SOFTWARE PLATFORM; TRANSPARENCY METRICS;

PROGRAMMABLE LOGIC CONTROLLERS;

EID: 13944253328     PISSN: 10010505     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (10)

1. Koren Y, Heisel U, Jovane E, et al. Reconfigurable manufacturing systems [J]. CRIP Annals-Manufacturing Technology, 1999, 48(2): 527-540.
2. Murata T. Petri nets: properties, analysis and applications [J]. Proceedings of the IEEE, 1989, 77(4): 541-580.
3. Zhou M C, McDermott K, Patel P A. Petri net synthesis and analysis of a flexible manufacturing system cell [J]. IEEE Trans Syst, Man, Cybern, 1993, 23(2): 523-531.
4. Paul F. Time, Petri nets, and robotics [J]. IEEE Trans Robotics and Automation, 1991, 7(4): 417-433.
5. Adamou M, Bourjault A, Zerhouni S N. Modeling and control of flexible manufacturing assembly systems using object oriented Petri nets [A]. In: Proc IEEE 2nd Int Workshop on Emerging Technologies and Factory Automation [C]. 1993. 164-168.
6. Gentina J, Corbeel D. Coloured adaptive structured Petri-net: a tool for the automatic synthesis of hierarchical control of flexible manufacturing systems [A]. In: Proc IEEE Int Conf Robotics and Automation [C]. 1987. 1166-1173.
7. Park E, Tilbury D M, Khargonekar P P. A modeling and analysis methodology for modular logic controllers of machining systems using Petri nets formalism [J]. IEEE Trans Syst, Man, Cybern, 2001, 31(2): 168-186.
8. Frey G. Analysis of Petri net based control algorithms-basic properties [A]. In: Proceedings of the American Control Conference [C]. Chicago, Illinois, 2000. 3172-3176.
9. Frey G. Design and formal analysis of Petri net based logic control algorithms [D]. Germany: Institute of Process Automation, University of Kaiserslautern, 2002.
10. Object Management Group. CORBA components [EB/OL]. http://www.omg.org/technology/documents/corba_spec_catalog.htm. 2002-06/2004-08.