%0 Conference Proceedings
%T A High Level Net for Modeling and Analysis Reconfigurable Discrete Event Control Systems
%+ Université des Sciences et de la Technologie Houari Boumediene = University of Sciences and Technology Houari Boumediene [Alger] (USTHB)
%+ Centre d'études et de recherche en informatique et communications (CEDRIC)
%+ Xidian University
%A Kheldoun, Ahmed
%A Barkaoui, Kamel
%A Zhang, Jiafeng
%A Ioualalen, Malika
%Z Part 15: Software Engineering: Modeling and Meta Modeling
%< avec comité de lecture
%( IFIP Advances in Information and Communication Technology
%B 5th International Conference on Computer Science and Its Applications (CIIA)
%C Saida, Algeria
%Y Abdelmalek Amine
%Y Ladjel Bellatreche
%Y Zakaria Elberrichi
%Y Erich J. Neuhold
%Y Robert Wrembel
%I Springer International Publishing
%3 Computer Science and Its Applications
%V AICT-456
%P 551-562
%8 2015-05-20
%D 2015
%R 10.1007/978-3-319-19578-0_45
%K Reconfigurable control systems
%K Feature
%K Recursive Petri nets
%K Rewriting logic
%K Maude
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%Z TC 5
%2 https://inria.hal.science/hal-01789937/document
%2 https://inria.hal.science/hal-01789937/file/339159_1_En_45_Chapter.pdf
%L hal-01789937
%U https://inria.hal.science/hal-01789937
%~ CNAM
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-AICT
%~ IFIP-TC
%~ IFIP-TC5
%~ IFIP-AICT-456
%~ IFIP-CIIA
%~ CEDRIC-CNAM
%~ HESAM-CNAM
%~ HESAM