{"id":"https://openalex.org/W2422310525","doi":"https://doi.org/10.1109/wodes.2016.7497861","title":"Modelling and analyzing home care plans using high-level Petri nets","display_name":"Modelling and analyzing home care plans using high-level Petri nets","publication_year":2016,"publication_date":"2016-05-01","ids":{"openalex":"https://openalex.org/W2422310525","doi":"https://doi.org/10.1109/wodes.2016.7497861","mag":"2422310525"},"language":"en","primary_location":{"id":"doi:10.1109/wodes.2016.7497861","is_oa":false,"landing_page_url":"https://doi.org/10.1109/wodes.2016.7497861","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 13th International Workshop on Discrete Event Systems (WODES)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5028283340","display_name":"Kamel Barkaoui","orcid":"https://orcid.org/0000-0001-7175-0448"},"institutions":[{"id":"https://openalex.org/I124158823","display_name":"Conservatoire National des Arts et M\u00e9tiers","ror":"https://ror.org/0175hh227","country_code":"FR","type":"education","lineage":["https://openalex.org/I124158823","https://openalex.org/I4210134562"]},{"id":"https://openalex.org/I4210145724","display_name":"Centre d'Etudes et De Recherche en Informatique et Communications","ror":"https://ror.org/044j5mm75","country_code":"FR","type":"facility","lineage":["https://openalex.org/I4210145724"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Kamel Barkaoui","raw_affiliation_strings":["CEDRIC-CNAM, 292 Rue Saint-Martin 75141, Cedex 03 Paris, France","CEDRIC-CNAM, Cedex 03 Paris, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CEDRIC-CNAM, 292 Rue Saint-Martin 75141, Cedex 03 Paris, France","institution_ids":["https://openalex.org/I124158823","https://openalex.org/I4210145724"]},{"raw_affiliation_string":"CEDRIC-CNAM, Cedex 03 Paris, France","institution_ids":["https://openalex.org/I4210145724","https://openalex.org/I124158823"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5107830908","display_name":"A. Hicheur","orcid":"https://orcid.org/0000-0002-3712-7318"},"institutions":[{"id":"https://openalex.org/I124158823","display_name":"Conservatoire National des Arts et M\u00e9tiers","ror":"https://ror.org/0175hh227","country_code":"FR","type":"education","lineage":["https://openalex.org/I124158823","https://openalex.org/I4210134562"]},{"id":"https://openalex.org/I4210145724","display_name":"Centre d'Etudes et De Recherche en Informatique et Communications","ror":"https://ror.org/044j5mm75","country_code":"FR","type":"facility","lineage":["https://openalex.org/I4210145724"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Awatef Hicheur","raw_affiliation_strings":["CEDRIC-CNAM, 292 Rue Saint-Martin 75141, Cedex 03 Paris, France","CEDRIC-CNAM, Cedex 03 Paris, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CEDRIC-CNAM, 292 Rue Saint-Martin 75141, Cedex 03 Paris, France","institution_ids":["https://openalex.org/I124158823","https://openalex.org/I4210145724"]},{"raw_affiliation_string":"CEDRIC-CNAM, Cedex 03 Paris, France","institution_ids":["https://openalex.org/I4210145724","https://openalex.org/I124158823"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032061869","display_name":"Ahmed Kheldoun","orcid":"https://orcid.org/0000-0003-0514-919X"},"institutions":[{"id":"https://openalex.org/I157169809","display_name":"University of Sciences and Technology Houari Boumediene","ror":"https://ror.org/02kb89c09","country_code":"DZ","type":"education","lineage":["https://openalex.org/I157169809"]},{"id":"https://openalex.org/I192268740","display_name":"University of Algiers Benyoucef Benkhedda","ror":"https://ror.org/011r6gp69","country_code":"DZ","type":"education","lineage":["https://openalex.org/I192268740"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Ahmed Kheldoun","raw_affiliation_strings":["MOVEP, Computer Science Department, USTHB, Algiers, Algeria","MOVEP, USTHB, Algiers, Algeria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"MOVEP, Computer Science Department, USTHB, Algiers, Algeria","institution_ids":["https://openalex.org/I192268740","https://openalex.org/I157169809"]},{"raw_affiliation_string":"MOVEP, USTHB, Algiers, Algeria","institution_ids":["https://openalex.org/I192268740","https://openalex.org/I157169809"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100456725","display_name":"Ding Liu","orcid":"https://orcid.org/0000-0002-0931-1345"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ding Liu","raw_affiliation_strings":["Systems Control and Automation Group, School of Electro-Mechanical Engineering, Xidian University, No. 2 South Taibai Road, Xi'an 710071, China","Systems Control and Automation Group, Xidian University, Xi'an, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Systems Control and Automation Group, School of Electro-Mechanical Engineering, Xidian University, No. 2 South Taibai Road, Xi'an 710071, China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"Systems Control and Automation Group, Xidian University, Xi'an, China","institution_ids":["https://openalex.org/I149594827"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5028283340"],"corresponding_institution_ids":["https://openalex.org/I124158823","https://openalex.org/I4210145724"],"apc_list":null,"apc_paid":null,"fwci":0.9605,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.80813808,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"284","last_page":"290"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.8163350820541382},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.721487820148468},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6684682369232178},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.5710229277610779},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.461626797914505},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.44628873467445374},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.4430277943611145},{"id":"https://openalex.org/keywords/health-care","display_name":"Health care","score":0.4379974603652954},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3706297278404236}],"concepts":[{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.8163350820541382},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.721487820148468},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6684682369232178},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.5710229277610779},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.461626797914505},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.44628873467445374},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.4430277943611145},{"id":"https://openalex.org/C160735492","wikidata":"https://www.wikidata.org/wiki/Q31207","display_name":"Health care","level":2,"score":0.4379974603652954},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3706297278404236},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C50522688","wikidata":"https://www.wikidata.org/wiki/Q189833","display_name":"Economic growth","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/wodes.2016.7497861","is_oa":false,"landing_page_url":"https://doi.org/10.1109/wodes.2016.7497861","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 13th International Workshop on Discrete Event Systems (WODES)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/17","score":0.4099999964237213,"display_name":"Partnerships for the goals"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W25364003","https://openalex.org/W28116841","https://openalex.org/W852562197","https://openalex.org/W1424727565","https://openalex.org/W1510908891","https://openalex.org/W1778149536","https://openalex.org/W1962072139","https://openalex.org/W1976195354","https://openalex.org/W2088069011","https://openalex.org/W2092140509","https://openalex.org/W2101508170","https://openalex.org/W2102032536","https://openalex.org/W2116199806","https://openalex.org/W2116628790","https://openalex.org/W2138447175","https://openalex.org/W2147041049","https://openalex.org/W2206668277","https://openalex.org/W6628154206","https://openalex.org/W6630487960","https://openalex.org/W6677386994"],"related_works":["https://openalex.org/W2120204135","https://openalex.org/W2139396251","https://openalex.org/W1796293478","https://openalex.org/W1577544887","https://openalex.org/W2168276503","https://openalex.org/W1573537275","https://openalex.org/W2105713543","https://openalex.org/W174435416","https://openalex.org/W2132239740","https://openalex.org/W1816071588"],"abstract_inverted_index":{"Given":[0],"the":[1,36,44,134],"constant":[2],"pressure":[3],"to":[4,141],"improve":[5],"healthcare":[6,18],"efficiency,":[7],"home":[8,21,46,93,110,146],"care":[9,33,47,94,111,147],"appears":[10],"as":[11],"a":[12,24,50,82],"unique":[13],"solution":[14],"for":[15,23,49,89],"providing":[16],"personalized":[17],"service":[19],"and":[20,29,67,91,108],"assistance":[22],"growing":[25],"number":[26],"of":[27,55,98,127,145],"elderly":[28],"chronic":[30],"patients.":[31],"Home":[32],"plans":[34,57],"define":[35],"health":[37],"cares":[38,41],"or":[39],"supportive":[40],"delivered":[42],"by":[43],"different":[45],"professionals":[48],"given":[51],"patient.":[52],"The":[53,96],"management":[54],"these":[56],"is":[58],"challenging":[59],"since":[60,118],"they":[61],"are":[62,123],"inherently":[63],"flexible,":[64],"context":[65],"dependent":[66],"cooperative":[68],"processes":[69],"involving":[70],"repetitive":[71],"activities":[72],"with":[73,113],"complex":[74,114],"temporal":[75,115,143],"expressions.":[76],"In":[77],"this":[78,99],"paper,":[79],"we":[80,131],"propose":[81],"formal":[83],"method":[84],"based":[85],"time":[86,119],"recursive":[87,120],"ECATNets":[88,121],"modelling":[90,106],"analyzing":[92],"plans.":[95],"choice":[97],"formalism":[100],"relies":[101],"on":[102],"its":[103],"ability":[104],"in":[105,125],"flexible":[107],"distributed":[109],"processes,":[112],"constraints.":[116],"Moreover,":[117],"semantics":[122],"expressed":[124],"terms":[126],"conditional":[128],"rewriting":[129],"logic,":[130],"can":[132],"use":[133],"Real":[135],"Time":[136],"MAUDE":[137],"TCTL":[138],"model":[139],"checker":[140],"verify":[142],"properties":[144],"plan":[148],"processes.":[149]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2018,"cited_by_count":2}],"updated_date":"2026-04-29T09:16:38.111599","created_date":"2025-10-10T00:00:00"}