{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T09:48:08Z","timestamp":1742982488226,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319195773"},{"type":"electronic","value":"9783319195780"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-19578-0_45","type":"book-chapter","created":{"date-parts":[[2015,5,12]],"date-time":"2015-05-12T08:07:21Z","timestamp":1431418041000},"page":"551-562","source":"Crossref","is-referenced-by-count":4,"title":["A High Level Net for Modeling and Analysis Reconfigurable Discrete Event Control Systems"],"prefix":"10.1007","author":[{"given":"Ahmed","family":"Kheldoun","sequence":"first","affiliation":[]},{"given":"Kamel","family":"Barkaoui","sequence":"additional","affiliation":[]},{"given":"JiaFeng","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Malika","family":"Ioualalen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"45_CR1","doi-asserted-by":"crossref","unstructured":"Valk, R.: Self-modifying nets, a natural extension of petri nets. In: Proceedings of the Fifth Colloquium on Automata, Languages and Programming, pp. 464\u2013476 (1978)","DOI":"10.1007\/3-540-08860-1_35"},{"issue":"4","key":"45_CR2","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE"},{"issue":"7-8","key":"45_CR3","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1007\/s00236-007-0055-y","volume":"44","author":"S. Haddad","year":"2007","unstructured":"Haddad, S., Poitrenaud, D.: Recursive Petri nets\u00a0\u2013 Theory and application to discretee event systems. Acta Informatica\u00a044(7-8), 463\u2013508 (2007)","journal-title":"Acta Informatica"},{"issue":"1","key":"45_CR4","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/S0167-739X(03)00127-4","volume":"20","author":"S.-U. Guan","year":"2004","unstructured":"Guan, S.-U., Lim, S.-S.: Modeling adaptable multimedia and self-modifying protocol execution. Future Gener. Comput. Syst.\u00a020(1), 123\u2013143 (2004)","journal-title":"Future Gener. Comput. Syst."},{"key":"45_CR5","unstructured":"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\u20131574. CSREA Press (2003)"},{"key":"45_CR6","doi-asserted-by":"crossref","unstructured":"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\u00a0285(2), 187\u2013243 (2002), rewriting Logic and its Applications","DOI":"10.1016\/S0304-3975(01)00359-0"},{"issue":"4","key":"45_CR7","doi-asserted-by":"publisher","first-page":"757","DOI":"10.1109\/TSMCA.2012.2217321","volume":"43","author":"J. Zhang","year":"2013","unstructured":"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\u00a043(4), 757\u2013772 (2013)","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics: Systems"},{"key":"45_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/978-3-540-78238-4_24","volume-title":"Business Process Management Workshops","author":"K. Barkaoui","year":"2008","unstructured":"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.\u00a04928, pp. 232\u2013244. Springer, Heidelberg (2008)"},{"key":"45_CR9","unstructured":"Muschevici, R.: Modelling Diversity in Software Product Lines. PhD thesis, KU Leuven university, Belgium (December 2013)"},{"key":"45_CR10","doi-asserted-by":"crossref","unstructured":"\u00d6lveczky, 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.\u00a036 (2000)","DOI":"10.1016\/S1571-0661(05)80134-3"},{"key":"45_CR11","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/S1571-0661(05)82534-4","volume":"71","author":"S. Eker","year":"2004","unstructured":"Eker, S., Meseguer, J., Sridharanarayanan, A.: The maude LTL model checker. Electronic Notes in Theoretical Computer Science\u00a071, 162\u2013187 (2004)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"45_CR12","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditioned rewriting logic as a united model of concurrency. Theor. Comput. Sci.\u00a096, 73\u2013155 (1992)","journal-title":"Theor. Comput. Sci."},{"key":"45_CR13","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.21236\/ADA235785"}],"container-title":["IFIP Advances in Information and Communication Technology","Computer Science and Its Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-19578-0_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,7]],"date-time":"2022-05-07T22:46:59Z","timestamp":1651963619000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-19578-0_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319195773","9783319195780"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-19578-0_45","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2015]]}}}