{"id":"https://openalex.org/W2038012823","doi":"https://doi.org/10.1109/acsd.2008.4574587","title":"Time elastic digital systems and Petri Nets","display_name":"Time elastic digital systems and Petri Nets","publication_year":2008,"publication_date":"2008-01-01","ids":{"openalex":"https://openalex.org/W2038012823","doi":"https://doi.org/10.1109/acsd.2008.4574587","mag":"2038012823"},"language":"en","primary_location":{"id":"doi:10.1109/acsd.2008.4574587","is_oa":false,"landing_page_url":"https://doi.org/10.1109/acsd.2008.4574587","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2008 8th International Conference on Application of Concurrency to System Design","raw_type":"proceedings-article"},"type":"conference-paper","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/A5110756486","display_name":"Mike Kishinevsky","orcid":null},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mike Kishinevsky","raw_affiliation_strings":["Strategic CAD Laboratories, Intel Corporation, Hillsboro, OR, USA","Strategic CAD Laboratories, Intel Corporation, Hillsboro, OR"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Strategic CAD Laboratories, Intel Corporation, Hillsboro, OR, USA","institution_ids":["https://openalex.org/I1343180700"]},{"raw_affiliation_string":"Strategic CAD Laboratories, Intel Corporation, Hillsboro, OR","institution_ids":["https://openalex.org/I1343180700"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5031451250","display_name":"Jordi Cortadella","orcid":"https://orcid.org/0000-0001-8114-250X"},"institutions":[{"id":"https://openalex.org/I9617848","display_name":"Universitat Polit\u00e8cnica de Catalunya","ror":"https://ror.org/03mb6wj31","country_code":"ES","type":"education","lineage":["https://openalex.org/I9617848"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Jordi Cortadella","raw_affiliation_strings":["Department of Software, Universitat Politecnica de, Barcelona, Spain","Department of Software, Universitat Politecnica de Catalunya, Barcelona, Spain#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Software, Universitat Politecnica de, Barcelona, Spain","institution_ids":["https://openalex.org/I9617848"]},{"raw_affiliation_string":"Department of Software, Universitat Politecnica de Catalunya, Barcelona, Spain#TAB#","institution_ids":["https://openalex.org/I9617848"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"2"},"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.9997000098228455,"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.9997000098228455,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.9972000122070312,"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/handshake","display_name":"Handshake","score":0.8323776721954346},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.819176435470581},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.7728078961372375},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.7466760277748108},{"id":"https://openalex.org/keywords/data-flow-diagram","display_name":"Data flow diagram","score":0.5333580374717712},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.526639461517334},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4918951988220215},{"id":"https://openalex.org/keywords/security-token","display_name":"Security token","score":0.4661822021007538},{"id":"https://openalex.org/keywords/reuse","display_name":"Reuse","score":0.45947757363319397},{"id":"https://openalex.org/keywords/asynchronous-system","display_name":"Asynchronous system","score":0.4256492853164673},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.38509348034858704},{"id":"https://openalex.org/keywords/synchronous-circuit","display_name":"Synchronous circuit","score":0.2019009292125702},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.10164517164230347}],"concepts":[{"id":"https://openalex.org/C2778000800","wikidata":"https://www.wikidata.org/wiki/Q830043","display_name":"Handshake","level":3,"score":0.8323776721954346},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.819176435470581},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.7728078961372375},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.7466760277748108},{"id":"https://openalex.org/C489000","wikidata":"https://www.wikidata.org/wiki/Q747385","display_name":"Data flow diagram","level":2,"score":0.5333580374717712},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.526639461517334},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4918951988220215},{"id":"https://openalex.org/C48145219","wikidata":"https://www.wikidata.org/wiki/Q1335365","display_name":"Security token","level":2,"score":0.4661822021007538},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.45947757363319397},{"id":"https://openalex.org/C7923308","wikidata":"https://www.wikidata.org/wiki/Q4812211","display_name":"Asynchronous system","level":5,"score":0.4256492853164673},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38509348034858704},{"id":"https://openalex.org/C42196554","wikidata":"https://www.wikidata.org/wiki/Q1186179","display_name":"Synchronous circuit","level":4,"score":0.2019009292125702},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.10164517164230347},{"id":"https://openalex.org/C134652429","wikidata":"https://www.wikidata.org/wiki/Q1052698","display_name":"Jitter","level":2,"score":0.0},{"id":"https://openalex.org/C137059387","wikidata":"https://www.wikidata.org/wiki/Q426882","display_name":"Clock signal","level":3,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","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/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/acsd.2008.4574587","is_oa":false,"landing_page_url":"https://doi.org/10.1109/acsd.2008.4574587","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2008 8th International Conference on Application of Concurrency to System Design","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":48,"referenced_works":["https://openalex.org/W1520761694","https://openalex.org/W1570043190","https://openalex.org/W1571887924","https://openalex.org/W1615690992","https://openalex.org/W1981183366","https://openalex.org/W1995125339","https://openalex.org/W1996109622","https://openalex.org/W1999823427","https://openalex.org/W2009461940","https://openalex.org/W2009655251","https://openalex.org/W2016259411","https://openalex.org/W2029549396","https://openalex.org/W2031381504","https://openalex.org/W2036580020","https://openalex.org/W2039217369","https://openalex.org/W2050268512","https://openalex.org/W2071886931","https://openalex.org/W2084369349","https://openalex.org/W2104869032","https://openalex.org/W2105782051","https://openalex.org/W2110722301","https://openalex.org/W2118373632","https://openalex.org/W2118656457","https://openalex.org/W2123905682","https://openalex.org/W2130434989","https://openalex.org/W2130630281","https://openalex.org/W2132158474","https://openalex.org/W2132520462","https://openalex.org/W2133088975","https://openalex.org/W2137541450","https://openalex.org/W2144148413","https://openalex.org/W2145413322","https://openalex.org/W2150872535","https://openalex.org/W2157629805","https://openalex.org/W2160566592","https://openalex.org/W2164174587","https://openalex.org/W2170950544","https://openalex.org/W3140976369","https://openalex.org/W3143756217","https://openalex.org/W3147194359","https://openalex.org/W3151776607","https://openalex.org/W4230956919","https://openalex.org/W4240816339","https://openalex.org/W4249427125","https://openalex.org/W6631430805","https://openalex.org/W6633972513","https://openalex.org/W6681131238","https://openalex.org/W6683316392"],"related_works":["https://openalex.org/W4288373616","https://openalex.org/W2942270993","https://openalex.org/W2124260068","https://openalex.org/W2118373632","https://openalex.org/W2948898796","https://openalex.org/W1589739876","https://openalex.org/W1518959013","https://openalex.org/W1991539879","https://openalex.org/W2044065321","https://openalex.org/W4242360279"],"abstract_inverted_index":{"Summary":[0],"form":[1],"only":[2,238],"given.":[3],"Digital":[4],"electronic":[5],"systems":[6,26,56,98,179,193,217],"typically":[7],"uses":[8],"synchronous":[9,47,215],"clocks":[10],"and":[11,60,82,94,102],"primarily":[12],"assume":[13],"fixed":[14],"duration":[15],"of":[16,49,71,80,96,106,131,136,143,154,210,226,231],"their":[17,103],"operations":[18,72],"to":[19,202,241],"simplify":[20],"the":[21,33,43,122,152,164,172,224,232],"design":[22],"process.":[23],"Time":[24,54],"elastic":[25,55,97,178,216,243],"can":[27,57,74,117,190,234],"be":[28,75,235],"constructed":[29],"either":[30],"by":[31,41,112,180],"replacing":[32],"clock":[34,44],"with":[35,45,109,194,237],"communication":[36],"handshakes":[37],"(asynchronous":[38,65],"version)":[39],"or":[40,67],"augmenting":[42],"a":[46,50,133,157,182,207,211],"version":[48],"handshake":[51],"(synchronous":[52,69],"version).":[53],"tolerate":[58],"static":[59],"dynamic":[61],"changes":[62,240],"in":[63,156,177],"delays":[64],"case)":[66,70],"latencies":[68],"that":[73,116,175,189],"used":[76],"for":[77,90,163,184,222],"modularity,":[78],"ease":[79],"reuse":[81],"better":[83],"power-":[84],"delay":[85],"trade-off.":[86],"We":[87,170,213],"describe":[88],"methods":[89,233],"modeling,":[91],"performance":[92],"analysis":[93],"optimization":[95,173],"using":[99],"Marked":[100,145,167],"Graphs":[101,146],"extensions,":[104],"capable":[105,130],"describing":[107],"behavior":[108,137],"early":[110,139],"evaluation":[111,140],"modeling":[113,132],"negative":[114],"tokens":[115,120,155],"kill":[118],"positive":[119],"representing":[121],"information":[123],"flow.":[124],"While":[125],"this":[126],"extended":[127,165],"model":[128],"is":[129,159],"broader":[134],"class":[135],"involving":[138],"many":[141],"properties":[142],"classic":[144],"are":[147],"still":[148],"satisfied.":[149],"For":[150],"example,":[151],"sum":[153],"cycle":[158],"an":[160],"invariant":[161],"even":[162],"Dual":[166],"Graph":[168],"model.":[169],"illustrate":[171],"opportunities":[174],"exist":[176],"demonstrating":[181],"method":[183,199],"correct-by-":[185],"construction":[186],"micro-architectural":[187,204],"pipelining":[188],"handle":[191],"cyclic":[192],"dependencies":[195],"between":[196],"iterations.":[197],"This":[198],"allows":[200],"one":[201],"introduce":[203],"details":[205],"into":[206],"functional":[208],"specification":[209],"system.":[212],"use":[214,225],"(a.k.a.":[218],"latency-":[219],"tolerant":[220],"systems)":[221],"illustrating":[223],"Petri":[227],"Nets,":[228],"however":[229],"most":[230],"applied":[236],"minor":[239],"asynchronous":[242],"systems.":[244]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}