In: De Michelis, G.; Diaz, M.: Lecture Notes in Computer Science, Vol. 935; Application and Theory of Petri Nets 1995, 16th International Conference, pages 218-237. Springer, June 1995.
Abstract: The main purpose of this paper is to present the use of a synchronized colored Petri net model as the formalism to specify control for= discrete event real time low cost programmable controllers (PLCs), integrating an extended fuzzy controller with rule based approximate reasoning capabilities. The goal of the proposed model is the integration of different formalisms in= a common specification. Supported formalisms include the =93classical=94 programmable controller languages, and new paradigms, like fuzzy controllers= and approximate reasoning, as well. A description of the in- and output signals to be handled by the controller= is made, namely possible types and internal representations. The analysis of= the Petri net model in order to support automatic code generation is pursued= through the construction of the reachability tree for the non autonomous net= model. Support for distributed control implementation is also discussed. Examples of modelling a FIFO production system and intelligent buildings monitoring are presented to illustrate the modelling capabilities and applicability.
Back to the Petri Nets Bibliography