For the most recent entries see the Petri Nets Newsletter.

Distributed control systems simulation using high level Petri nets.

Tricas, F.; Martinez, J.

In: Mathematics and Computers in Simulation, Vol. 46, No. 1, pages 47-55. 1998.

Abstract: To deal with the complexity of the implementation of control systems for flexible manufacturing systems, formal methods of design are needed. This work uses high-level Petri nets as the modeling and validation tool. This approach is used to study problems introduced by distributed implementation. 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 the Ada language.

Keywords: ADA, distributed control systems, distributed simulation, high-level Petri nets, task scheduling.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography