2015 | OriginalPaper | Buchkapitel
A High Level Net for Modeling and Analysis Reconfigurable Discrete Event Control Systems
verfasst von : Ahmed Kheldoun, Kamel Barkaoui, JiaFeng Zhang, Malika Ioualalen
Erschienen in: Computer Science and Its Applications
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
This paper deals with automatic reconfiguration of discrete event control systems. We propose to enrich the formalism of recursive Petri nets by the concept of
feature
from which runtime reconfigurations are facilitated. This new formalism is applied in the context of automated production system. Furthermore, the enhanced recursive Petri net is translated into rewriting logic, and by using Maude LTL model-checker one can verify several behavioural properties related to reconfiguration.