A High Level Net for Modeling and Analysis Reconfigurable Discrete Event Control Systems - Computer Science and Its Applications Access content directly
Conference Papers Year : 2015

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.
Fichier principal
Vignette du fichier
339159_1_En_45_Chapter.pdf (497.4 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01789937 , version 1 (11-05-2018)

Licence

Attribution

Identifiers

Cite

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⟩
74 View
130 Download

Altmetric

Share

Gmail Facebook X LinkedIn More