{"id":"https://openalex.org/W1614343877","doi":"https://doi.org/10.1109/coase.2015.7294237","title":"Towards finding the appropriate level of abstraction to model and verify automated production systems in discrete event simulation","display_name":"Towards finding the appropriate level of abstraction to model and verify automated production systems in discrete event simulation","publication_year":2015,"publication_date":"2015-08-01","ids":{"openalex":"https://openalex.org/W1614343877","doi":"https://doi.org/10.1109/coase.2015.7294237","mag":"1614343877"},"language":"en","primary_location":{"id":"doi:10.1109/coase.2015.7294237","is_oa":false,"landing_page_url":"https://doi.org/10.1109/coase.2015.7294237","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IEEE International Conference on Automation Science and Engineering (CASE)","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/A5103088856","display_name":"Thomas Aicher","orcid":"https://orcid.org/0000-0001-6127-5719"},"institutions":[{"id":"https://openalex.org/I4210148079","display_name":"Zittau/G\u00f6rlitz University of Applied Sciences","ror":"https://ror.org/056tzgr32","country_code":"DE","type":"education","lineage":["https://openalex.org/I4210148079"]},{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Thomas Aicher","raw_affiliation_strings":["Faculty of Electrical Engineering and Computer Science University of Applied Sciences Zittau/Goerlitz, Germany","Technical University of Munich, Munich, Germany"],"affiliations":[{"raw_affiliation_string":"Faculty of Electrical Engineering and Computer Science University of Applied Sciences Zittau/Goerlitz, Germany","institution_ids":["https://openalex.org/I4210148079"]},{"raw_affiliation_string":"Technical University of Munich, Munich, Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058091258","display_name":"Sebastian Rehberger","orcid":null},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]},{"id":"https://openalex.org/I4210148079","display_name":"Zittau/G\u00f6rlitz University of Applied Sciences","ror":"https://ror.org/056tzgr32","country_code":"DE","type":"education","lineage":["https://openalex.org/I4210148079"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sebastian Rehberger","raw_affiliation_strings":["Faculty of Electrical Engineering and Computer Science University of Applied Sciences Zittau/Goerlitz, Germany","Technical University of Munich, Munich, Germany"],"affiliations":[{"raw_affiliation_string":"Faculty of Electrical Engineering and Computer Science University of Applied Sciences Zittau/Goerlitz, Germany","institution_ids":["https://openalex.org/I4210148079"]},{"raw_affiliation_string":"Technical University of Munich, Munich, Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5071323487","display_name":"Birgit Vogel\u2010Heuser","orcid":"https://orcid.org/0000-0003-2785-8819"},"institutions":[{"id":"https://openalex.org/I64281891","display_name":"College of New Jersey","ror":"https://ror.org/02nx5r318","country_code":"US","type":"education","lineage":["https://openalex.org/I64281891"]},{"id":"https://openalex.org/I171851574","display_name":"Ramapo College","ror":"https://ror.org/03s2x9d90","country_code":"US","type":"education","lineage":["https://openalex.org/I171851574"]},{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE","US"],"is_corresponding":false,"raw_author_name":"Birgit Vogel-Heuser","raw_affiliation_strings":["Ramapo College of New Jersey Mahwah, NJ, USA","Technical University of Munich, Munich, Germany"],"affiliations":[{"raw_affiliation_string":"Ramapo College of New Jersey Mahwah, NJ, USA","institution_ids":["https://openalex.org/I171851574","https://openalex.org/I64281891"]},{"raw_affiliation_string":"Technical University of Munich, Munich, Germany","institution_ids":["https://openalex.org/I62916508"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5103088856"],"corresponding_institution_ids":["https://openalex.org/I4210148079","https://openalex.org/I62916508"],"apc_list":null,"apc_paid":null,"fwci":0.4006,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.67847396,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"62","issue":null,"first_page":"1048","last_page":"1053"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9993000030517578,"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.9993000030517578,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9988999962806702,"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/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/mechatronics","display_name":"Mechatronics","score":0.78304523229599},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.7336462736129761},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6917527914047241},{"id":"https://openalex.org/keywords/backlash","display_name":"Backlash","score":0.6410245895385742},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5881454944610596},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5553356409072876},{"id":"https://openalex.org/keywords/systems-modeling-language","display_name":"Systems Modeling Language","score":0.5216353535652161},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.48494651913642883},{"id":"https://openalex.org/keywords/discrete-event-simulation","display_name":"Discrete event simulation","score":0.4691145718097687},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.44484761357307434},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4419453740119934},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.42605340480804443},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4222026467323303},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.38195884227752686},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.37069201469421387},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.365077942609787},{"id":"https://openalex.org/keywords/simulation","display_name":"Simulation","score":0.25649774074554443},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.23674485087394714},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.21277305483818054},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.13609448075294495}],"concepts":[{"id":"https://openalex.org/C28704281","wikidata":"https://www.wikidata.org/wiki/Q180165","display_name":"Mechatronics","level":2,"score":0.78304523229599},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.7336462736129761},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6917527914047241},{"id":"https://openalex.org/C2776652708","wikidata":"https://www.wikidata.org/wiki/Q584028","display_name":"Backlash","level":2,"score":0.6410245895385742},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5881454944610596},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5553356409072876},{"id":"https://openalex.org/C21285288","wikidata":"https://www.wikidata.org/wiki/Q2117885","display_name":"Systems Modeling Language","level":4,"score":0.5216353535652161},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.48494651913642883},{"id":"https://openalex.org/C147203929","wikidata":"https://www.wikidata.org/wiki/Q574814","display_name":"Discrete event simulation","level":2,"score":0.4691145718097687},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.44484761357307434},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4419453740119934},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.42605340480804443},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4222026467323303},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.38195884227752686},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.37069201469421387},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.365077942609787},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.25649774074554443},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.23674485087394714},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.21277305483818054},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13609448075294495},{"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/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"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/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/coase.2015.7294237","is_oa":false,"landing_page_url":"https://doi.org/10.1109/coase.2015.7294237","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IEEE International Conference on Automation Science and Engineering (CASE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.5299999713897705}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W198879584","https://openalex.org/W1435015471","https://openalex.org/W1539212946","https://openalex.org/W1570024512","https://openalex.org/W1802815921","https://openalex.org/W1964235512","https://openalex.org/W1975394812","https://openalex.org/W1976794824","https://openalex.org/W2013814408","https://openalex.org/W2027746592","https://openalex.org/W2028025798","https://openalex.org/W2043773652","https://openalex.org/W2050932972","https://openalex.org/W2108213427","https://openalex.org/W2137212541","https://openalex.org/W2147297760","https://openalex.org/W2154001469","https://openalex.org/W2157141255","https://openalex.org/W2158209170","https://openalex.org/W2158829089","https://openalex.org/W2160702428","https://openalex.org/W2167668895","https://openalex.org/W2170064878","https://openalex.org/W2171520043","https://openalex.org/W2192951338","https://openalex.org/W2195673706","https://openalex.org/W2313985623","https://openalex.org/W2749779701","https://openalex.org/W4234130062","https://openalex.org/W4285719527","https://openalex.org/W6628533169","https://openalex.org/W6634022274","https://openalex.org/W6699339262"],"related_works":["https://openalex.org/W2318553114","https://openalex.org/W2369073421","https://openalex.org/W45990023","https://openalex.org/W2066639517","https://openalex.org/W2967708117","https://openalex.org/W2242762566","https://openalex.org/W4400901371","https://openalex.org/W1551453979","https://openalex.org/W2111939355","https://openalex.org/W4386309167"],"abstract_inverted_index":{"Developing":[0],"complex":[1,80],"automated":[2],"production":[3],"systems":[4,50],"(aPS)":[5],"by":[6],"integrating":[7],"different":[8,25],"engineering":[9],"disciplines,":[10],"e.g.":[11,56],"electrical/electronic,":[12],"mechanical":[13],"or":[14],"software":[15],"engineering,":[16],"is":[17,122],"a":[18,103,111,118],"rising":[19],"challenge":[20],"for":[21,27,43,76],"plant":[22],"manufacturing.":[23],"Hence,":[24],"approaches":[26],"virtual":[28],"commissioning":[29],"and":[30,52,69,106],"validating":[31],"aPS":[32,60,78,121],"have":[33],"been":[34],"developed":[35],"in":[36,83],"the":[37,71,96,99],"past.":[38],"Among":[39],"other":[40],"approaches,":[41],"concepts":[42],"model":[44,57],"verification":[45,54,89],"based":[46],"on":[47],"discrete":[48],"event":[49],"(DES)":[51],"formal":[53,88],"techniques,":[55],"checking,":[58],"of":[59,74,90,98,114],"are":[61],"commonly":[62],"investigated.":[63],"This":[64],"paper":[65],"intends":[66],"to":[67,86],"analyze":[68],"assess":[70],"appropriate":[72],"level":[73],"abstraction":[75],"modeling":[77,97],"containing":[79],"mechatronic":[81],"phenomena":[82],"DES":[84],"required":[85],"enable":[87],"an":[91],"aPS'":[92],"characteristics.":[93],"For":[94],"example,":[95],"gear":[100],"backlash":[101],"between":[102],"handling":[104],"component":[105],"its":[107],"electrical":[108],"drive":[109],"as":[110],"possible":[112],"consequence":[113],"worn":[115],"gear/spindle":[116],"inside":[117],"simple":[119],"lab-size":[120],"considered.":[123]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}