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.
Chapter PDF
Similar content being viewed by others
References
Valk, R.: Self-modifying nets, a natural extension of petri nets. In: Proceedings of the Fifth Colloquium on Automata, Languages and Programming, pp. 464–476 (1978)
Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77(4), 541–580 (1989)
Haddad, S., Poitrenaud, D.: Recursive Petri nets – Theory and application to discretee event systems. Acta Informatica 44(7-8), 463–508 (2007)
Guan, S.-U., Lim, S.-S.: Modeling adaptable multimedia and self-modifying protocol execution. Future Gener. Comput. Syst. 20(1), 123–143 (2004)
Badouel, M.L.E., Oliver, J.: Modeling concurrent systems: Reconfigurable nets. In: Proc. Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA 2003), pp. 1568–1574. CSREA Press (2003)
Clavel, M., Duran, F., Eker, S., Lincoln, P., Marti-Oliet, N., Meseguer, J., Quesada, J.: Maude: specification and programming in rewriting logic. Theoretical Computer Science 285(2), 187–243 (2002), rewriting Logic and its Applications
Zhang, J., Khalgui, M., Li, Z., Mosbahi, O., Al-Ahmari, A.: R-tnces: A novel formalism for reconfigurable discretee event control systems. IEEE Transactions on Systems, Man, and Cybernetics: Systems 43(4), 757–772 (2013)
Barkaoui, K., Hicheur, A.: Towards analysis of flexible and collaborative workflow using recursive eCATNets. In: ter Hofstede, A.H.M., Benatallah, B., Paik, H.-Y. (eds.) BPM Workshops 2007. LNCS, vol. 4928, pp. 232–244. Springer, Heidelberg (2008)
Muschevici, R.: Modelling Diversity in Software Product Lines. PhD thesis, KU Leuven university, Belgium (December 2013)
Ölveczky, P.C., Meseguer, J.: Real-Time Maude: A tool for simulating and analyzing real-time and hybrid systems. In: 3rd International Workshop on Rewriting Logic and its Applications (WRLA 2000). Electronic Notes in Theoretical Computer Science, vol. 36 (2000)
Eker, S., Meseguer, J., Sridharanarayanan, A.: The maude LTL model checker. Electronic Notes in Theoretical Computer Science 71, 162–187 (2004)
Meseguer, J.: Conditioned rewriting logic as a united model of concurrency. Theor. Comput. Sci. 96, 73–155 (1992)
Kang, K., Cohen, S., Hess, J., Novak, W., Peterson, A.: Feature-oriented domain analysis (foda) feasibility study. Software Engineering Institute, Carnegie Mellon University, Tech. Rep. CMU/SEI-90-TR-021 (1990)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 IFIP International Federation for Information Processing
About this paper
Cite this paper
Kheldoun, A., Barkaoui, K., Zhang, J., Ioualalen, M. (2015). A High Level Net for Modeling and Analysis Reconfigurable Discrete Event Control Systems. In: Amine, A., Bellatreche, L., Elberrichi, Z., Neuhold, E., Wrembel, R. (eds) Computer Science and Its Applications. CIIA 2015. IFIP Advances in Information and Communication Technology, vol 456. Springer, Cham. https://doi.org/10.1007/978-3-319-19578-0_45
Download citation
DOI: https://doi.org/10.1007/978-3-319-19578-0_45
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-19577-3
Online ISBN: 978-3-319-19578-0
eBook Packages: Computer ScienceComputer Science (R0)