{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,16]],"date-time":"2025-11-16T00:02:14Z","timestamp":1763251334202,"version":"3.45.0"},"reference-count":0,"publisher":"Tech Science Press","issue":"1","license":[{"start":{"date-parts":[[2025,11,16]],"date-time":"2025-11-16T00:00:00Z","timestamp":1763251200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/doi.org\/10.32604\/TSP-CROSSMARKPOLICY"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["CMC"],"published-print":{"date-parts":[[2026]]},"DOI":"10.32604\/cmc.2025.069502","type":"journal-article","created":{"date-parts":[[2025,8,29]],"date-time":"2025-08-29T09:02:41Z","timestamp":1756458161000},"page":"1-30","update-policy":"https:\/\/doi.org\/10.32604\/tsp-crossmarkpolicy","source":"Crossref","is-referenced-by-count":0,"title":["Siphon-Based Divide-and-Conquer Policy for Enforcing Liveness on Petri Net Models of FMS Suffering from Deadlocks or Livelocks"],"prefix":"10.32604","volume":"86","author":[{"given":"Murat","family":"Uzam","sequence":"first","affiliation":[]},{"given":"Bernard","family":"Berthomieu","sequence":"additional","affiliation":[]},{"given":"Wei","family":"Wei","sequence":"additional","affiliation":[]},{"given":"Yufeng","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Mohammed","family":"El-Meligy","sequence":"additional","affiliation":[]},{"given":"Mohamed Abdel Fattah","family":"Sharaf","sequence":"additional","affiliation":[]}],"member":"17807","published-online":{"date-parts":[[2026]]},"container-title":["Computers, Materials &amp; Continua"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/cdn.techscience.cn\/files\/cmc\/2025\/TSP_CMC-86-1\/TSP_CMC_69502\/TSP_CMC_69502.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,16]],"date-time":"2025-11-16T00:00:11Z","timestamp":1763251211000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.techscience.com\/cmc\/v86n1\/64470"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"references-count":0,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2026]]},"published-print":{"date-parts":[[2026]]}},"URL":"https:\/\/doi.org\/10.32604\/cmc.2025.069502","relation":{},"ISSN":["1546-2226"],"issn-type":[{"type":"electronic","value":"1546-2226"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"2025-06-24","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-07-30","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-11-10","order":2,"name":"published","label":"Published Online","group":{"name":"publication_history","label":"Publication History"}}]}}