{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:02:50Z","timestamp":1761487370051,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/icsmc.2004.1401311","type":"proceedings-article","created":{"date-parts":[[2005,4,6]],"date-time":"2005-04-06T15:20:51Z","timestamp":1112800851000},"page":"4923-4928 vol.5","source":"Crossref","is-referenced-by-count":5,"title":["Reachability search in timed Petri nets using constraint programming"],"prefix":"10.1109","author":[{"given":"O.B.","family":"Driss","sequence":"first","affiliation":[{"name":"Strategie d'Optimisation de l'Ingenierie des Inf. et de la Connaissance, Inf. et de la Connaissance, Bardo, Tunisia"}]},{"given":"P.","family":"Yim","sequence":"additional","affiliation":[]},{"given":"O.","family":"Korbaa","sequence":"additional","affiliation":[]},{"given":"K.","family":"Ghedira","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","first-page":"151","article-title":"Scheduling of FMS: An exact method based on CLP related to a cyclic scheduling approach","author":"benasser","year":"1999","journal-title":"Proceedings of the 14th IFAC World Congress"},{"key":"2","first-page":"168","article-title":"A scheduling application of the accessibility in Petri nets","author":"benasser","year":"1996","journal-title":"CIMAT Computer Integrated Manufacturing and Automation Technology"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1080\/0020754031000073008"},{"key":"1","article-title":"Transient scheduling based on multi-agent approach","author":"driss","year":"2004","journal-title":"I?NCOM 11th IFAC Symposium on Information Control Problems in Manufacturing"},{"key":"7","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/BFb0019976","article-title":"Optimal simulations, nets and reachability graphs, advances in Petri Nets","volume":"524","author":"janicki","year":"1991","journal-title":"Lecture Notes in Computer Science"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1145\/154183.154193"},{"key":"5","first-page":"452","article-title":"A logical abstraction for autonomous Timed Petri net","author":"benasser","year":"2001","journal-title":"IEPM International Conference on Industrial Engineering and Production Management"},{"key":"4","first-page":"959","article-title":"Railway traffic planning with Petri nets and constraint programming","volume":"33","author":"benasser","year":"1999","journal-title":"APII-JESA"},{"key":"9","first-page":"35","article-title":"FMS cyclic scheduling with overlapping production cycles","author":"korbaa","year":"1997","journal-title":"26th International Conference on Application and Theory of Petri Nets - ICATPN"},{"key":"8","article-title":"Coloured Petri nets, basic concepts, analysis methods and practical use","volume":"1","author":"jensen","year":"1992","journal-title":"EATCS Monographs on Theoretical Computer Science"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1109\/5.24143"},{"year":"1974","author":"ramchandani","journal-title":"Analysis of asynchronous concurrent systems by timed Petri nets","key":"12"}],"event":{"name":"2004 IEEE International Conference on Systems, Man and Cybernetics","start":{"date-parts":[[2004,10,10]]},"location":"The Hague, Netherlands","end":{"date-parts":[[2004,10,13]]}},"container-title":["2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9622\/30426\/01401311.pdf?arnumber=1401311","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,23]],"date-time":"2024-05-23T17:39:14Z","timestamp":1716485954000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/1401311\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/icsmc.2004.1401311","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}