{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:21:54Z","timestamp":1762521714103},"reference-count":18,"publisher":"World Scientific Pub Co Pte Lt","issue":"03","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2014,4]]},"abstract":"<jats:p> In Reconfigurable Manufacturing Systems (RMSs), the structure of the system can be changed during execution of the system. This reconfiguration can be motivated by a new requirement in the production process, or to avoid some problems caused by machines breakdowns. These systems offer a high flexibility leading to more productivity and efficiency. However, their design is more complicated implying new techniques and paradigms. The use of formal high level Petri Nets offers the ability to design these systems and to analyse or prove their properties. In this paper, we apply Reconfigurable Object Nets (RONs) for the modelling, simulation and analysis of reconfigurable manufacturing systems. We propose a formal approach, where the reconfiguration is specified as graph transformations, the simulation is realized using the RON-tool, and the analysis exploits some software tools such as TINA-tool and PIPE-tool. <\/jats:p>","DOI":"10.1142\/s0218194014500168","type":"journal-article","created":{"date-parts":[[2014,7,24]],"date-time":"2014-07-24T07:29:34Z","timestamp":1406186974000},"page":"419-443","source":"Crossref","is-referenced-by-count":5,"title":["Using High Level Petri Nets in the Modelling, Simulation and Verification of Reconfigurable Manufacturing Systems"],"prefix":"10.1142","volume":"24","author":[{"given":"Laid","family":"Kahloul","sequence":"first","affiliation":[{"name":"LINFI Laboratory, Computer Science Department, Biskra University, Biskra, 07000, Algeria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samir","family":"Bourekkache","sequence":"additional","affiliation":[{"name":"LINFI Laboratory, Computer Science Department, Biskra University, Biskra, 07000, Algeria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karim","family":"Djouani","sequence":"additional","affiliation":[{"name":"LISSI Laboratory, Paris Est University, Paris, France"},{"name":"F'SATI at TUT, Pretoria, South Africa"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Allaoua","family":"Chaoui","sequence":"additional","affiliation":[{"name":"MISC Laboratory, Computer Science Department, Constantine University, Constantine, 25000, Algeria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Okba","family":"Kazar","sequence":"additional","affiliation":[{"name":"LINFI Laboratory, Computer Science Department, Biskra University, Biskra, 07000, Algeria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2014,7,24]]},"reference":[{"key":"rf1","volume-title":"Manufacturing, Engineering & Technology","author":"Serope K.","year":"2009"},{"key":"rf2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008930403506"},{"key":"rf3","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-006-0615-2"},{"key":"rf4","doi-asserted-by":"publisher","DOI":"10.1016\/j.jmsy.2011.01.001"},{"key":"rf5","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"rf7","doi-asserted-by":"publisher","DOI":"10.1109\/21.229464"},{"key":"rf9","doi-asserted-by":"publisher","DOI":"10.1016\/0951-5240(95)00032-1"},{"key":"rf13","first-page":"283","volume":"47","author":"Lomazova I. A.","year":"2001","journal-title":"Fundamenta Informaticae"},{"key":"rf14","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129509990193"},{"key":"rf17","doi-asserted-by":"publisher","DOI":"10.1080\/00207540412331312688"},{"key":"rf19","doi-asserted-by":"publisher","DOI":"10.1016\/j.jmsy.2010.11.002"},{"key":"rf20","doi-asserted-by":"publisher","DOI":"10.1016\/j.simpat.2008.01.006"},{"key":"rf21","doi-asserted-by":"publisher","DOI":"10.1016\/j.rcim.2011.03.005"},{"key":"rf22","first-page":"9","volume":"33","author":"Wu N.","year":"2009","journal-title":"Transactions of the Institute of Measurement & Control"},{"key":"rf23","doi-asserted-by":"publisher","DOI":"10.1016\/j.cie.2009.07.013"},{"key":"rf24","first-page":"75","volume":"1","author":"Lejri O.","year":"2011","journal-title":"Journal of Studies on Manufacturing"},{"key":"rf26","doi-asserted-by":"publisher","DOI":"10.1016\/j.elecom.2007.10.004"},{"key":"rf27","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1976.1093424"}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194014500168","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T17:48:23Z","timestamp":1565200103000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218194014500168"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4]]},"references-count":18,"journal-issue":{"issue":"03","published-online":{"date-parts":[[2014,7,24]]},"published-print":{"date-parts":[[2014,4]]}},"alternative-id":["10.1142\/S0218194014500168"],"URL":"https:\/\/doi.org\/10.1142\/s0218194014500168","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,4]]}}}