Software for coloured Petri nets oriented to flexible manufacturing systems

被引:0
|
作者
Lefranc, G [1 ]
Vera, P [1 ]
González, N [1 ]
Valenzuela, P [1 ]
机构
[1] Univ Catolica Valparaiso, Escuela Ingn Elect, Valparaiso, Chile
关键词
Petri Nets; flexible manufacturing systems; software engineering;
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
This paper presents a software that allows the Edition, Simulation and Verification of Generalized, Stochastic and Coloured Petri Nets. The program can be used to model any discrete dynamic system, in particular this paper is oriented to work with Flexible Manufacturing Systems, FMS. With these it feasible to represent entities of divers origin thus achieving a qualitative and quantitative analysis of a given system. The software is based on previous works, modified and extended to Coloured Petri Nets. The system is implemented in Visual Basic and Visual C++, under Windows for PC. Copyright (C) 1998 IFAC.
引用
收藏
页码:221 / 226
页数:6
相关论文
共 50 条