Deriving Petri Nets from Finite Transition Systems
IEEE Transactions on Computers
Introduction to Discrete Event Systems
Introduction to Discrete Event Systems
Identification of Petri Nets from Knowledge of Their Language
Discrete Event Dynamic Systems
Real time identification of discrete event systems using Petri nets
Automatica (Journal of IFAC)
Hi-index | 0.00 |
This paper deals with the problem of identifying a Petri net system given an observed sequence of events generated by it and an observed sequence of output vectors associated to the marking of the measurable places. The problem is not new in the literature. The original contribution of this work consists in the use of the timing information associated to the net so as to improve its identification. The fact that a transition has not fired for a time larger than its expected delay is here exploited to obtain a list of counter examples, i.e. the strings that does not belong to the language, even if a whole language is not known. This accelerates the identification procedure. The problem of identifying a λ-free labeled Petri net system is here considered, that is the identification of a net where a label may be associated to more than one transition, and no transition may by labelled with the empty string.