{"id":"https://openalex.org/W2036267176","doi":"https://doi.org/10.1145/1878537.1878679","title":"Activity regions for the specification of discrete event systems","display_name":"Activity regions for the specification of discrete event systems","publication_year":2010,"publication_date":"2010-04-11","ids":{"openalex":"https://openalex.org/W2036267176","doi":"https://doi.org/10.1145/1878537.1878679","mag":"2036267176"},"language":"en","primary_location":{"id":"doi:10.1145/1878537.1878679","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1878537.1878679","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2010 Spring Simulation Multiconference","raw_type":"proceedings-article"},"type":"preprint","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/A5010933281","display_name":"Alexandre Muzy","orcid":"https://orcid.org/0000-0002-8594-1672"},"institutions":[{"id":"https://openalex.org/I138816502","display_name":"Universit\u00e9 de Corse Pascal Paoli","ror":"https://ror.org/050ra0n32","country_code":"FR","type":"education","lineage":["https://openalex.org/I138816502"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Alexandre Muzy","raw_affiliation_strings":["Universit\u00e0 di Corsica -- Pasquale Paoli, BP, Corti - France"],"affiliations":[{"raw_affiliation_string":"Universit\u00e0 di Corsica -- Pasquale Paoli, BP, Corti - France","institution_ids":["https://openalex.org/I138816502"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064833425","display_name":"Luc Touraille","orcid":null},"institutions":[{"id":"https://openalex.org/I198244214","display_name":"Universit\u00e9 Clermont Auvergne","ror":"https://ror.org/01a8ajp46","country_code":"FR","type":"education","lineage":["https://openalex.org/I198244214"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Luc Touraille","raw_affiliation_strings":["Blaise Pascal University, BP, AUBIERE, Cedex - France","Blaise Pascal University, BP, AUBIERE, Cedex - France#TAB#"],"affiliations":[{"raw_affiliation_string":"Blaise Pascal University, BP, AUBIERE, Cedex - France","institution_ids":["https://openalex.org/I198244214"]},{"raw_affiliation_string":"Blaise Pascal University, BP, AUBIERE, Cedex - France#TAB#","institution_ids":["https://openalex.org/I198244214"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007007501","display_name":"Hans Vangheluwe","orcid":"https://orcid.org/0000-0003-2079-6643"},"institutions":[{"id":"https://openalex.org/I149213910","display_name":"University of Antwerp","ror":"https://ror.org/008x57b05","country_code":"BE","type":"education","lineage":["https://openalex.org/I149213910"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Hans Vangheluwe","raw_affiliation_strings":["University of Antwerp, Antwerp, Belgium"],"affiliations":[{"raw_affiliation_string":"University of Antwerp, Antwerp, Belgium","institution_ids":["https://openalex.org/I149213910"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112282903","display_name":"Olivier Michel","orcid":null},"institutions":[{"id":"https://openalex.org/I197681013","display_name":"Universit\u00e9 Paris-Est Cr\u00e9teil","ror":"https://ror.org/05ggc9x40","country_code":"FR","type":"education","lineage":["https://openalex.org/I197681013"]},{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Olivier Michel","raw_affiliation_strings":["Universit\u00e9 de Paris XII, Cr\u00e9teil, Cedex - France"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 de Paris XII, Cr\u00e9teil, Cedex - France","institution_ids":["https://openalex.org/I197681013","https://openalex.org/I204730241"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108085823","display_name":"Mamadou Kaba Traor\u00e9","orcid":null},"institutions":[{"id":"https://openalex.org/I198244214","display_name":"Universit\u00e9 Clermont Auvergne","ror":"https://ror.org/01a8ajp46","country_code":"FR","type":"education","lineage":["https://openalex.org/I198244214"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Mamadou Kaba Traor\u00e9","raw_affiliation_strings":["Blaise Pascal University, BP, AUBIERE, Cedex - France","Blaise Pascal University, BP, AUBIERE, Cedex - France#TAB#"],"affiliations":[{"raw_affiliation_string":"Blaise Pascal University, BP, AUBIERE, Cedex - France","institution_ids":["https://openalex.org/I198244214"]},{"raw_affiliation_string":"Blaise Pascal University, BP, AUBIERE, Cedex - France#TAB#","institution_ids":["https://openalex.org/I198244214"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108125366","display_name":"David R.C. Hill","orcid":"https://orcid.org/0000-0003-2820-2766"},"institutions":[{"id":"https://openalex.org/I198244214","display_name":"Universit\u00e9 Clermont Auvergne","ror":"https://ror.org/01a8ajp46","country_code":"FR","type":"education","lineage":["https://openalex.org/I198244214"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"David R. C. Hill","raw_affiliation_strings":["Blaise Pascal University, BP, AUBIERE, Cedex - France","Blaise Pascal University, BP, AUBIERE, Cedex - France#TAB#"],"affiliations":[{"raw_affiliation_string":"Blaise Pascal University, BP, AUBIERE, Cedex - France","institution_ids":["https://openalex.org/I198244214"]},{"raw_affiliation_string":"Blaise Pascal University, BP, AUBIERE, Cedex - France#TAB#","institution_ids":["https://openalex.org/I198244214"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5010933281"],"corresponding_institution_ids":["https://openalex.org/I138816502"],"apc_list":null,"apc_paid":null,"fwci":0.4029,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.69202819,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"7"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9909999966621399,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9825000166893005,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/computer-science","display_name":"Computer science","score":0.7488951683044434},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.6848684549331665},{"id":"https://openalex.org/keywords/discrete-event-dynamic-system","display_name":"Discrete event dynamic system","score":0.6357536911964417},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5976101756095886},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.5915188789367676},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5734670758247375},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.5335550308227539},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.527684211730957},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.5235928297042847},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.46960362792015076},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.46451133489608765},{"id":"https://openalex.org/keywords/system-requirements-specification","display_name":"System requirements specification","score":0.44113031029701233},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4317814111709595},{"id":"https://openalex.org/keywords/discrete-event-simulation","display_name":"Discrete event simulation","score":0.4146800935268402},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.41255882382392883},{"id":"https://openalex.org/keywords/discrete-system","display_name":"Discrete system","score":0.25314417481422424},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.24331605434417725},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1971644163131714},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.15291810035705566},{"id":"https://openalex.org/keywords/simulation","display_name":"Simulation","score":0.13219276070594788},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.13112527132034302}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7488951683044434},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.6848684549331665},{"id":"https://openalex.org/C32866371","wikidata":"https://www.wikidata.org/wiki/Q5282046","display_name":"Discrete event dynamic system","level":3,"score":0.6357536911964417},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5976101756095886},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.5915188789367676},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5734670758247375},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.5335550308227539},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.527684211730957},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.5235928297042847},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.46960362792015076},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.46451133489608765},{"id":"https://openalex.org/C84651959","wikidata":"https://www.wikidata.org/wiki/Q17052506","display_name":"System requirements specification","level":2,"score":0.44113031029701233},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4317814111709595},{"id":"https://openalex.org/C147203929","wikidata":"https://www.wikidata.org/wiki/Q574814","display_name":"Discrete event simulation","level":2,"score":0.4146800935268402},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.41255882382392883},{"id":"https://openalex.org/C96314035","wikidata":"https://www.wikidata.org/wiki/Q5282062","display_name":"Discrete system","level":2,"score":0.25314417481422424},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.24331605434417725},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1971644163131714},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.15291810035705566},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.13219276070594788},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.13112527132034302},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"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/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/1878537.1878679","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1878537.1878679","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2010 Spring Simulation Multiconference","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-02076243v1","is_oa":false,"landing_page_url":"https://hal.science/hal-02076243","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings of the 2010 Spring Simulation Multiconference, 2010, Orlando, United States. pp.136","raw_type":"Conference papers"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W166740094","https://openalex.org/W1569547655","https://openalex.org/W1982959652","https://openalex.org/W1995156820","https://openalex.org/W2034011064","https://openalex.org/W2051314392","https://openalex.org/W2067288944","https://openalex.org/W2087388231","https://openalex.org/W2099069868","https://openalex.org/W2116414161","https://openalex.org/W2129426919","https://openalex.org/W2137293535","https://openalex.org/W2144655651","https://openalex.org/W2152883301","https://openalex.org/W2158021417","https://openalex.org/W2185418699","https://openalex.org/W2970049487","https://openalex.org/W3009715268","https://openalex.org/W4247479180"],"related_works":["https://openalex.org/W1981174361","https://openalex.org/W2373704345","https://openalex.org/W2150955612","https://openalex.org/W2118007538","https://openalex.org/W2178951833","https://openalex.org/W4242840380","https://openalex.org/W2111968378","https://openalex.org/W4299293555","https://openalex.org/W4243866700","https://openalex.org/W2157204976"],"abstract_inverted_index":{"The":[0],"common":[1],"view":[2,59],"on":[3,13,54,60],"modeling":[4,84],"and":[5,22,33,85,129,139],"simulation":[6],"of":[7,16,19,58,94,98,103,107,143],"dynamic":[8,61,108],"systems":[9],"is":[10,46],"to":[11,31,52,119,137],"focus":[12,53],"the":[14,17,20,64,92,95,101,141],"specification":[15,102],"state":[18],"system":[21,62],"its":[23],"transition":[24],"function.":[25],"Although":[26],"some":[27],"interesting":[28],"challenges":[29],"remain":[30],"efficiently":[32],"elegantly":[34],"support":[35],"this":[36,41,44,117,144],"view,":[37],"we":[38,49,115],"consider":[39],"in":[40,123,125,127,130],"paper":[42],"that":[43,74],"problem":[45],"solved.":[47],"Instead,":[48],"propose":[50],"here":[51],"a":[55,76,79,104],"new":[56,80],"point":[57],"specifications:":[63],"activity":[65,99,121],"exhibited":[66],"by":[67],"their":[68],"discrete":[69,111],"event":[70,112],"simulation.":[71],"We":[72,88],"believe":[73],"such":[75],"viewpoint":[77],"introduces":[78],"way":[81],"for":[82,100],"analyzing,":[83],"simulating":[86],"systems.":[87,113],"first":[89],"start":[90],"with":[91],"definition":[93],"key":[96],"notion":[97,118],"specific":[105],"class":[106],"system,":[109],"namely":[110],"Then,":[114],"refine":[116],"characterize":[120],"regions":[122],"time,":[124],"space,":[126],"states":[128],"hierarchical":[131],"component-based":[132],"models.":[133],"Examples":[134],"are":[135],"given":[136],"illustrate":[138],"stress":[140],"importance":[142],"notion.":[145]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}