{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:34:14Z","timestamp":1775054054949,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642400896","type":"print"},{"value":"9783642400902","type":"electronic"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"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":[[2013]]},"DOI":"10.1007\/978-3-642-40090-2_10","type":"book-chapter","created":{"date-parts":[[2013,8,21]],"date-time":"2013-08-21T03:17:39Z","timestamp":1377055059000},"page":"106-117","source":"Crossref","is-referenced-by-count":6,"title":["Formal Study of Reconfigurable Manufacturing Systems: A High Level Petri Nets Based Approach"],"prefix":"10.1007","author":[{"given":"Laid","family":"Kahloul","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karim","family":"Djouani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Allaoua","family":"Chaoui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Serope, K., Schmid, S.: Manufacturing, Engineering & Technology, pp.\u00a022\u201336, 951\u2013988. Prentice Hall (August 2005) ISBN\u00a00-13-148965-8"},{"issue":"4","key":"10_CR2","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1023\/A:1008930403506","volume":"11","author":"M.G. Mehrabi","year":"2000","unstructured":"Mehrabi, M.G., Ulsoy, A.G., Koren, Y.: Reconfigurable manufacturing systems: key to future manufacturing. Journal of Intelligent Manufacturing\u00a011(4), 403\u2013419 (2000)","journal-title":"Journal of Intelligent Manufacturing"},{"issue":"5","key":"10_CR3","doi-asserted-by":"publisher","first-page":"430","DOI":"10.1007\/s00170-006-0615-2","volume":"34","author":"R. Katz","year":"2007","unstructured":"Katz, R.: Design principles of reconfigurable machines. The International Journal of Advanced Manufacturing Technology\u00a034(5), 430\u2013439 (2007)","journal-title":"The International Journal of Advanced Manufacturing Technology"},{"issue":"4","key":"10_CR4","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"},{"key":"10_CR5","unstructured":"Valette, R., Cardoso, J., Dubois, D.: Monitoring manufacturing systems by means of Petri nets with imprecise markings. In: IEEE International Symposium on Intelligent Control, September 25-26, pp. 233\u2013238 (1989)"},{"issue":"2","key":"10_CR6","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1109\/21.229464","volume":"23","author":"M.C. Zhou","year":"1993","unstructured":"Zhou, M.C., Mcdermott, K., Patel, P.A.: Petri net synthesis and analysis of a flexible manufacturing system cell. IEEE Transactions on Systems, Man, and Cybernetics\u00a023(2), 523\u2013531 (1993)","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics"},{"key":"10_CR7","unstructured":"Cheng, C.W., Sun, T.H., Fu, L.C.: Petri-net based modeling and scheduling of a flexible manufacturing system. In: IEEE International Conference on Robotics and Automation, pp. 513\u2013518 (1994)"},{"issue":"2","key":"10_CR8","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/0951-5240(95)00032-1","volume":"26","author":"L.C. Wang","year":"1996","unstructured":"Wang, L.C.: Object-oriented Petri nets for modeling and analysis of automated manufacturing systems. Computer Integrated Manufacturing Systems\u00a026(2), 111\u2013125 (1996)","journal-title":"Computer Integrated Manufacturing Systems"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"464","DOI":"10.1007\/3-540-08860-1_35","volume-title":"Automata, Languages and Programming","author":"R. Valk","year":"1978","unstructured":"Valk, R.: Self-modifying nets, a natural extension of petri nets. In: Ausiello, G., B\u00f6hm, C. (eds.) ICALP 1978. LNCS, vol.\u00a062, pp. 464\u2013476. Springer, Heidelberg (1978)"},{"key":"10_CR10","unstructured":"Badouel, E., Oliver, J.: Reconfigurable nets: a class of high level petri nets supporting dynamic changes with workflow systems. Research Report Publication 1163, Irisa (Institut de Recherche en Informatique et Systmes Aleatoires) (1998)"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-69108-1_1","volume-title":"Application and Theory of Petri Nets 1998","author":"R. Valk","year":"1998","unstructured":"Valk, R.: Petri Nets as Token Objects: An Introduction to Elementary Object Nets. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol.\u00a01420, pp. 1\u201325. Springer, Heidelberg (1998)"},{"issue":"3","key":"10_CR12","first-page":"283","volume":"47","author":"I.A. Lomazova","year":"2001","unstructured":"Lomazova, I.A.: Nested Petri Nets: Multi-level and Recursive Systems. Fundamenta Informaticae\u00a047(3), 283\u2013293 (2001)","journal-title":"Fundamenta Informaticae"},{"issue":"6","key":"10_CR13","doi-asserted-by":"publisher","first-page":"1265","DOI":"10.1017\/S0960129509990193","volume":"19","author":"A. Asperti","year":"2009","unstructured":"Asperti, A., Busi, N.: Mobile Petri Nets. Mathematical Structures in Computer Science Journal\u00a019(6), 1265\u20131278 (2009)","journal-title":"Mathematical Structures in Computer Science Journal"},{"key":"10_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/11494744_16","volume-title":"Applications and Theory of Petri Nets 2005","author":"K. Hoffmann","year":"2005","unstructured":"Hoffmann, K., Ehrig, H., Mossakowski, T.: High-Level Nets with Nets and Rules as Tokens. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol.\u00a03536, pp. 268\u2013288. Springer, Heidelberg (2005)"},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"496","DOI":"10.1007\/978-3-540-27755-2_14","volume-title":"Lectures on Concurrency and Petri Nets","author":"H. Ehrig","year":"2004","unstructured":"Ehrig, H., Padberg, J.: Graph Grammars and Petri Net Transformations. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol.\u00a03098, pp. 496\u2013536. Springer, Heidelberg (2004)"},{"key":"10_CR16","unstructured":"Biermann, E., Ermel, C., Hermann, F., Modica, T.: A Visual Editor for Reconfigurable Object Nets based on the E CLIPSE Graphical Editor Framework. In: Proc. 14th Workshop on Algorithms and Tools for Petri Nets (AWPN 2007). GI Special Interest Group on Petri Nets and Related System Models, vol.\u00a010 (2007)"},{"issue":"4","key":"10_CR17","doi-asserted-by":"publisher","first-page":"462","DOI":"10.1016\/j.simpat.2008.01.006","volume":"16","author":"S. Julia","year":"2008","unstructured":"Julia, S., de Oliveira, F.F., Valette, R.: Real time scheduling of Workflow Management Systems based on a p-time Petri net model with hybrid resources. Simulation Modelling Practice and Theory\u00a016(4), 462\u2013482 (2008)","journal-title":"Simulation Modelling Practice and Theory"},{"key":"10_CR18","unstructured":"Zhang, L.L., Rodrigues, B.: A Petri Net-based Approach to Reconfigurable Manufacturing Systems Modeling. Research Collection Lee Kong Chian School of Business (Open Access), Paper 3047"},{"issue":"2-3","key":"10_CR19","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/j.jmsy.2010.11.002","volume":"29","author":"X. Meng","year":"2010","unstructured":"Meng, X.: Modeling of reconfigurable manufacturing systems based on colored timed object-oriented Petri nets. Journal of Manufacturing Systems\u00a029(2-3), 81\u201390 (2010)","journal-title":"Journal of Manufacturing Systems"},{"issue":"5","key":"10_CR20","doi-asserted-by":"publisher","first-page":"929","DOI":"10.1016\/j.rcim.2011.03.005","volume":"27","author":"C. Aguiar de","year":"2011","unstructured":"de Aguiar, C., Jos\u00e9, A., Villani, E., Junqueira, F.: Coloured Petri nets and graphical simulation for the validation of a robotic cell in aircraft industry. Robotics and Computer-Integrated Manufacturing\u00a027(5), 929\u2013941 (2011)","journal-title":"Robotics and Computer-Integrated Manufacturing"},{"issue":"4","key":"10_CR21","doi-asserted-by":"publisher","first-page":"1431","DOI":"10.1016\/j.cie.2009.07.013","volume":"57","author":"J. Li","year":"2009","unstructured":"Li, J., Dai, X., Meng, Z., Dou, J., Guan, X.: Rapid design and reconfiguration of Petri net models for reconfigurable manufacturing cells with improved net rewriting systems and activity diagrams. Computers & Industrial Engineering\u00a057(4), 1431\u20131451 (2009)","journal-title":"Computers & Industrial Engineering"},{"issue":"1","key":"10_CR22","first-page":"9","volume":"33","author":"N. Wu","year":"2009","unstructured":"Wu, N., Zhou, M.: Intelligent token Petri nets for modelling and control of reconfigurable automated manufacturing systems with dynamical changes. Transactions of the Institute of Measurement and Control\u00a033(1), 9\u201329 (2009)","journal-title":"Transactions of the Institute of Measurement and Control"},{"issue":"2-3","key":"10_CR23","first-page":"75","volume":"1","author":"O. Lejri","year":"2011","unstructured":"Lejri, O., Tagina, M.: Hybrid Reconfigurable Petri Nets for modelling Hybrid Reconfigurable Manufacturing Systems. Journal of Studies on Manufacturing\u00a01(2-3), 75\u201384 (2011)","journal-title":"Journal of Studies on Manufacturing"},{"key":"10_CR24","unstructured":"Biermann, E., Modica, T.: Independence Analysis of Firing and Rule-based Net Transformations in Reconfigurable Object Nets. In: Electronic Communications of the EASST Seventh International Workshop on Graph Transformation and Visual Modeling Techniques, vol.\u00a010 (2008), \n                    \n                      http:\/\/www.easst.org\/eceasst\/"}],"container-title":["Lecture Notes in Computer Science","Industrial Applications of Holonic and Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40090-2_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T18:47:37Z","timestamp":1558032457000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40090-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642400896","9783642400902"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40090-2_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}