[KBZ15] A High Level Net for Modeling and Analysis Reconfigurable Discrete Event Control SystemsConférence Internationale avec comité de lecture : 5th IFIP International Conference on Computer Science and Its Applications CIIA , May 2015, Vol. 456, pp.551--562, Series IFIP Advances in Information and Communication Technology , Saïda, Algeria,
Mots clés: Reconfigurable control systems, Recursive Petri nets, Rewriting logic, Maude
Résumé: 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.
Commentaires: http://www.springer.com/la/book/9783319195773 ISBN: 978-3-319-19577-3