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.
%0 Journal Article
%1 TricasMartinez98
%A Tricas, Fernando
%A Martinez, Javier
%D 1998
%J Mathematics and Computers in Simulation
%K ada, citeulike distributed, nets, petri, simulation
%N 1
%P 47--55
%R 10.1016/s0378-4754(97)00157-2
%T Distributed control systems simulation using high level Petri nets
%U http://dx.doi.org/10.1016/s0378-4754(97)00157-2
%V 46
%X 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.
@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.}},
added-at = {2017-09-08T10:52:59.000+0200},
author = {Tricas, Fernando and Martinez, Javier},
biburl = {https://www.bibsonomy.org/bibtex/2e6f70ca4350475d9c8845a8ed920a74d/fernand0},
citeulike-article-id = {96593},
citeulike-linkout-0 = {http://dx.doi.org/10.1016/s0378-4754(97)00157-2},
citeulike-linkout-1 = {http://www.sciencedirect.com/science/article/B6V0T-3T3KRDF-5/2/4d7fcdd95e6deffcc8d71f4779004d83},
day = 01,
doi = {10.1016/s0378-4754(97)00157-2},
interhash = {6a4db7cf8952e52e86ad758d9295ff73},
intrahash = {e6f70ca4350475d9c8845a8ed920a74d},
journal = {Mathematics and Computers in Simulation},
keywords = {ada, citeulike distributed, nets, petri, simulation},
month = apr,
number = 1,
pages = {47--55},
posted-at = {2005-02-16 19:00:37},
priority = {0},
timestamp = {2017-09-08T10:53:23.000+0200},
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
}