{"id":"https://openalex.org/W3111874402","doi":"https://doi.org/10.13053/cys-24-4-3875","title":"Axiomatization, Computability and Stability for Discrete Event Time Algorithms","display_name":"Axiomatization, Computability and Stability for Discrete Event Time Algorithms","publication_year":2020,"publication_date":"2020-12-09","ids":{"openalex":"https://openalex.org/W3111874402","doi":"https://doi.org/10.13053/cys-24-4-3875","mag":"3111874402"},"language":"es","primary_location":{"id":"doi:10.13053/cys-24-4-3875","is_oa":false,"landing_page_url":"https://doi.org/10.13053/cys-24-4-3875","pdf_url":null,"source":{"id":"https://openalex.org/S61446325","display_name":"Computaci\u00f3n y Sistemas","issn_l":"1405-5546","issn":["1405-5546","2007-9737"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319599","host_organization_name":"National Polytechnic Institute","host_organization_lineage":["https://openalex.org/P4310319599"],"host_organization_lineage_names":["National Polytechnic Institute"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computaci\u00f3n y Sistemas","raw_type":"journal-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/A5014396545","display_name":"Zvi Retchkiman K\u00f6nigsberg","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Zvi Retchkiman Konigsberg","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5014396545"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.19718068,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"24","issue":"4","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9965999722480774,"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"}},"topics":[{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9965999722480774,"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9848999977111816,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9506999850273132,"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/petri-net","display_name":"Petri net","score":0.6800680160522461},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.6625850200653076},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.645639181137085},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.6229390501976013},{"id":"https://openalex.org/keywords/discrete-event-dynamic-system","display_name":"Discrete event dynamic system","score":0.5728259086608887},{"id":"https://openalex.org/keywords/stability","display_name":"Stability (learning theory)","score":0.5726333856582642},{"id":"https://openalex.org/keywords/discrete-time-and-continuous-time","display_name":"Discrete time and continuous time","score":0.5654439926147461},{"id":"https://openalex.org/keywords/computability","display_name":"Computability","score":0.5411983132362366},{"id":"https://openalex.org/keywords/discrete-system","display_name":"Discrete system","score":0.5133823156356812},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5126258730888367},{"id":"https://openalex.org/keywords/discrete-event-simulation","display_name":"Discrete event simulation","score":0.44711747765541077},{"id":"https://openalex.org/keywords/dynamical-systems-theory","display_name":"Dynamical systems theory","score":0.4312208890914917},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.41105177998542786},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3605717420578003},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.32653504610061646}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.6800680160522461},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.6625850200653076},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.645639181137085},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.6229390501976013},{"id":"https://openalex.org/C32866371","wikidata":"https://www.wikidata.org/wiki/Q5282046","display_name":"Discrete event dynamic system","level":3,"score":0.5728259086608887},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.5726333856582642},{"id":"https://openalex.org/C55689738","wikidata":"https://www.wikidata.org/wiki/Q15963867","display_name":"Discrete time and continuous time","level":2,"score":0.5654439926147461},{"id":"https://openalex.org/C152062344","wikidata":"https://www.wikidata.org/wiki/Q818888","display_name":"Computability","level":2,"score":0.5411983132362366},{"id":"https://openalex.org/C96314035","wikidata":"https://www.wikidata.org/wiki/Q5282062","display_name":"Discrete system","level":2,"score":0.5133823156356812},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5126258730888367},{"id":"https://openalex.org/C147203929","wikidata":"https://www.wikidata.org/wiki/Q574814","display_name":"Discrete event simulation","level":2,"score":0.44711747765541077},{"id":"https://openalex.org/C79379906","wikidata":"https://www.wikidata.org/wiki/Q3174497","display_name":"Dynamical systems theory","level":2,"score":0.4312208890914917},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.41105177998542786},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3605717420578003},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32653504610061646},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.13053/cys-24-4-3875","is_oa":false,"landing_page_url":"https://doi.org/10.13053/cys-24-4-3875","pdf_url":null,"source":{"id":"https://openalex.org/S61446325","display_name":"Computaci\u00f3n y Sistemas","issn_l":"1405-5546","issn":["1405-5546","2007-9737"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319599","host_organization_name":"National Polytechnic Institute","host_organization_lineage":["https://openalex.org/P4310319599"],"host_organization_lineage_names":["National Polytechnic Institute"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computaci\u00f3n y Sistemas","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6299999952316284,"display_name":"Affordable and clean energy","id":"https://metadata.un.org/sdg/7"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":1,"referenced_works":["https://openalex.org/W1998333922"],"related_works":["https://openalex.org/W2170721748","https://openalex.org/W2617472381","https://openalex.org/W155728739","https://openalex.org/W2653360901","https://openalex.org/W1981174361","https://openalex.org/W3147729025","https://openalex.org/W2157204976","https://openalex.org/W2000978341","https://openalex.org/W1860097","https://openalex.org/W4246154150"],"abstract_inverted_index":{"This":[0],"work":[1],"proposes":[2],"a":[3],"formalization":[4],"of":[5,19,55,115,119,130],"discrete":[6,22,32,49,56,61,75,88,93],"event":[7,23,50,57,62,76,89,94],"time":[8,24,51,58,63,77,90,95],"algorithms.":[9,52],"A":[10,122],"Church":[11,29,39],"type":[12],"thesis,":[13],"its":[14],"proof,":[15],"and":[16,60,107],"the":[17,38,42,116,120,127,131],"notion":[18],"stability":[20,72,82,123],"for":[21,31,41,74],"algorithms":[25,33,78],"are":[26,46,66],"presented.":[27],"The":[28,53,71,81],"thesis":[30,40],"motivates":[34],"us":[35],"to":[36,68],"consider":[37],"case":[43],"when":[44],"we":[45],"dealing":[47],"with":[48],"notions":[54],"algorithm":[59],"dynamical":[64,96],"system":[65],"postulated":[67],"be":[69],"equivalent.":[70],"concept":[73],"is":[79,102,135],"defined.":[80],"analysis":[83,124],"presentation":[84],"starts":[85],"concentrating":[86],"in":[87],"algorithms,":[91],"i.e.,":[92],"systems,":[97],"whose":[98],"Petri":[99,132],"net":[100,133],"model":[101,134],"described":[103],"by":[104],"difference":[105],"equations,":[106],"continues":[108],"considering":[109],"Lyapunov":[110],"energy":[111],"function":[112],"sin":[113],"terms":[114],"logical":[117],"structures":[118],"vocabulary.":[121],"based":[125],"on":[126],"reachability":[128],"tree":[129],"also":[136],"discussed.":[137]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}