2009 IEEE International Conference on
Systems, Man, and Cybernetics |
![]() |
Abstract
This paper presents a method for the identification of the behavior of a DES under the form of Petri net (PN) models from output sequences representing observed cyclic behavior of concurrent discrete event systems. The proposed off-line technique yields an Interpreted PN (IPN) model which represents exactly the language than that generated by the observed system. First, a sample of output vectors words are processed for obtaining sequences of output changes called events; then sequences of ¦Ê-length event traces are built and represented by an IPN model composed by non measurable places. Then measurable places are added; they are related to transitions representing pertinent output changes. Finally inputs are associated and implicit non measurable places are removed.