{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,3]],"date-time":"2025-07-03T04:14:51Z","timestamp":1751516091390,"version":"3.41.0"},"reference-count":17,"publisher":"IEEE","license":[{"start":{"date-parts":[[2016,5,1]],"date-time":"2016-05-01T00:00:00Z","timestamp":1462060800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2016,5,1]],"date-time":"2016-05-01T00:00:00Z","timestamp":1462060800000},"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":[[2016,5]]},"DOI":"10.1109\/wodes.2016.7497861","type":"proceedings-article","created":{"date-parts":[[2016,6,25]],"date-time":"2016-06-25T11:36:10Z","timestamp":1466854570000},"page":"284-290","source":"Crossref","is-referenced-by-count":2,"title":["Modelling and analyzing home care plans using high-level Petri nets"],"prefix":"10.1109","author":[{"given":"Kamel","family":"Barkaoui","sequence":"first","affiliation":[{"name":"CEDRIC-CNAM, 292 Rue Saint-Martin 75141, Cedex 03 Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Awatef","family":"Hicheur","sequence":"additional","affiliation":[{"name":"CEDRIC-CNAM, 292 Rue Saint-Martin 75141, Cedex 03 Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ahmed","family":"Kheldoun","sequence":"additional","affiliation":[{"name":"MOVEP, Computer Science Department, USTHB, Algiers, Algeria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Ding Liu","sequence":"additional","affiliation":[{"name":"Systems Control and Automation Group, School of Electro-Mechanical Engineering, Xidian University, No. 2 South Taibai Road, Xi'an 710071, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"0","author":"weng","article-title":"Temporal knowledge representation for scheduling tasks in clinical trial protocols","key":"ref10"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1109\/DEXA.2011.63"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1007\/978-3-662-45391-9_41"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1007\/978-3-319-23063-4_4"},{"key":"ref14","first-page":"1","article-title":"Modelling and analysis of flexible healthcare processes based on algebraic and recursive petri nets","author":"hicheur","year":"2012"},{"year":"2011","journal-title":"O M G (OMG) Business process model and notation (bpmn) version 2 0 Technical report","key":"ref15"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1007\/s00165-010-0161-4"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1016\/j.jbi.2006.12.002"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1016\/0304-3975(94)90010-8"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1007\/s00236-007-0055-y"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1109\/ACSD.2006.6"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1007\/978-3-540-30080-9_7"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1016\/0304-3975(92)90182-F"},{"key":"ref7","article-title":"Real-Time Maude: A tool for simulating and analyzing real-time and hybrid systems","volume":"36","author":"olveczky","year":"2000","journal-title":"ser Electronic Notes in Theoretical Computer Science"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1007\/978-3-642-01364-5_2"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1007\/978-3-540-78238-4_24"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1109\/HealthCom.2013.6720668"}],"event":{"name":"2016 13th International Workshop on Discrete Event Systems (WODES)","start":{"date-parts":[[2016,5,30]]},"location":"Xi'an, China","end":{"date-parts":[[2016,6,1]]}},"container-title":["2016 13th International Workshop on Discrete Event Systems (WODES)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7493813\/7497815\/07497861.pdf?arnumber=7497861","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T17:43:00Z","timestamp":1751478180000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7497861\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/wodes.2016.7497861","relation":{},"subject":[],"published":{"date-parts":[[2016,5]]}}}