A High Level Net for Modeling and Analysis Reconfigurable Discrete Event Control Systems

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [12 references]  Display  Hide  Download

https://hal.inria.fr/hal-01789937
Contributor : Hal Ifip <>
Submitted on : Friday, May 11, 2018 - 3:10:11 PM
Last modification on : Saturday, February 9, 2019 - 1:24:12 AM
Long-term archiving on : Monday, September 24, 2018 - 1:43:38 PM

File

339159_1_En_45_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Ahmed Kheldoun, Kamel Barkaoui, Jiafeng Zhang, Malika Ioualalen. A High Level Net for Modeling and Analysis Reconfigurable Discrete Event Control Systems. 5th International Conference on Computer Science and Its Applications (CIIA), May 2015, Saida, Algeria. pp.551-562, ⟨10.1007/978-3-319-19578-0_45⟩. ⟨hal-01789937⟩

Share

Metrics

Record views

66

Files downloads

129