human factors;
modelling;
discrete event system;
Petri-Nets;
sequential machines;
D O I:
暂无
中图分类号:
TP [自动化技术、计算机技术];
学科分类号:
0812 ;
摘要:
:This paper presents an approach well-suited to model and analyse behaviour of complex industrial systems confronted with hazardous events. An industrial complex system (process or factory organisation) is described using several entities and relations. The obtained model will be translated into Petri Nets for structural analysis and into Interpreted Sequential Machine for verifying temporal and dynamic properties. This composite approach has been developed within a common research project for the control of hazardous events in production systems. Copyright (C) 1998 IFAC.
机构:
Key Laboratory of Intelligent Control and Optimization for Industrial Equipment of Ministry of Education, School of Control Science and Engineering, Dalian University of TechnologyKey Laboratory of Intelligent Control and Optimization for Industrial Equipment of Ministry of Education, School of Control Science and Engineering, Dalian University of Technology
XU Changyi
WANG Yun
论文数: 0引用数: 0
h-index: 0
机构:
Key Laboratory of Intelligent Control and Optimization for Industrial Equipment of Ministry of Education, School of Control Science and Engineering, Dalian University of TechnologyKey Laboratory of Intelligent Control and Optimization for Industrial Equipment of Ministry of Education, School of Control Science and Engineering, Dalian University of Technology
WANG Yun
DUAN Yiman
论文数: 0引用数: 0
h-index: 0
机构:
State Key Laboratory of Fluid Power and Mechatronic Systems, School of Mechanical Engineering, ZhejiangKey Laboratory of Intelligent Control and Optimization for Industrial Equipment of Ministry of Education, School of Control Science and Engineering, Dalian University of Technology
DUAN Yiman
ZHANG Chao
论文数: 0引用数: 0
h-index: 0
机构:
State Key Laboratory of Fluid Power and Mechatronic Systems, School of Mechanical Engineering, ZhejiangKey Laboratory of Intelligent Control and Optimization for Industrial Equipment of Ministry of Education, School of Control Science and Engineering, Dalian University of Technology
机构:
LICUS Laboratory, Department of Computer Science, University of 20 August, 1955-Skikda, Skikda
LIRE Laboratory, Department of Software Technologies and Information Systems, University of Abdelhamid, Mehri-Constantine 2, ConstantineLICUS Laboratory, Department of Computer Science, University of 20 August, 1955-Skikda, Skikda
Seddari N.
Boukelkoul S.
论文数: 0引用数: 0
h-index: 0
机构:
LIRE Laboratory, Department of Software Technologies and Information Systems, University of Abdelhamid, Mehri-Constantine 2, ConstantineLICUS Laboratory, Department of Computer Science, University of 20 August, 1955-Skikda, Skikda
Boukelkoul S.
Bouras A.
论文数: 0引用数: 0
h-index: 0
机构:
Department of Industrial Engineering, Alfaisal University, RiyadhLICUS Laboratory, Department of Computer Science, University of 20 August, 1955-Skikda, Skikda
Bouras A.
Belaoued M.
论文数: 0引用数: 0
h-index: 0
机构:
LICUS Laboratory, Department of Computer Science, University of 20 August, 1955-Skikda, SkikdaLICUS Laboratory, Department of Computer Science, University of 20 August, 1955-Skikda, Skikda
Belaoued M.
Redjimi M.
论文数: 0引用数: 0
h-index: 0
机构:
LICUS Laboratory, Department of Computer Science, University of 20 August, 1955-Skikda, SkikdaLICUS Laboratory, Department of Computer Science, University of 20 August, 1955-Skikda, Skikda