Distributed control systems simulation using high level Petri nets

@article{TricasMartinez98, abstract = {To deal with the complexity of the implementation of control systems for flexible manufacturing systems, formal methods of design are needed. In this work the modeling and validation tool selected is high level Petri nets. Based on this approach we have studied the problems that a distributed implementation can introduce. For the evaluation of different strategies of the model implementation and the scheduling of production tasks a simulator has been constructed. This simulator has been written in Ada language.}, author = {Tricas, Fernando and Martinez, Javier}, citeulike-article-id = {96593}, doi = {10.1016/S0378-4754(97)00157-2}, journal = {Mathematics and Computers in Simulation}, keywords = {ada, distributed, nets, petri, simulation}, month = {April}, number = {1}, pages = {47--55}, posted-at = {2005-02-16 19:00:37}, priority = {0}, title = {Distributed control systems simulation using high level Petri nets}, url = {http://dx.doi.org/10.1016/S0378-4754(97)00157-2}, volume = {46}, year = {1998} }

TY - JOUR ID - TricasMartinez98 L3 - citeulike-article-id:96593 N2 - To deal with the complexity of the implementation of control systems for flexible manufacturing systems, formal methods of design are needed. In this work the modeling and validation tool selected is high level Petri nets. Based on this approach we have studied the problems that a distributed implementation can introduce. For the evaluation of different strategies of the model implementation and the scheduling of production tasks a simulator has been constructed. This simulator has been written in Ada language. IS - 1 JF - Mathematics and Computers in Simulation EP - 55 TI - Distributed control systems simulation using high level Petri nets VL - 46 SP - 47 KW - ada KW - distributed KW - nets KW - petri KW - simulation AU - Tricas, Fernando AU - Martinez, Javier PY - 1998/04/01/ UR - http://dx.doi.org/10.1016/S0378-4754(97)00157-2 ER -