{"id":"https://openalex.org/W2022322636","doi":"https://doi.org/10.1109/iecon.2012.6389492","title":"Analysing storage resources on Synchronous Dataflows using Petri net verification techniques","display_name":"Analysing storage resources on Synchronous Dataflows using Petri net verification techniques","publication_year":2012,"publication_date":"2012-10-01","ids":{"openalex":"https://openalex.org/W2022322636","doi":"https://doi.org/10.1109/iecon.2012.6389492","mag":"2022322636"},"language":"en","primary_location":{"id":"doi:10.1109/iecon.2012.6389492","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iecon.2012.6389492","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society","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/A5025489058","display_name":"Jos\u00e9-In\u00e1cio Rocha","orcid":"https://orcid.org/0000-0003-2695-1579"},"institutions":[{"id":"https://openalex.org/I4210102653","display_name":"Instituto Politecnico de Setubal","ror":"https://ror.org/01bvjz807","country_code":"PT","type":"education","lineage":["https://openalex.org/I4210102653"]},{"id":"https://openalex.org/I4210127031","display_name":"Uninova","ror":"https://ror.org/0373te416","country_code":"PT","type":"funder","lineage":["https://openalex.org/I4210127031"]},{"id":"https://openalex.org/I83558840","display_name":"Universidade Nova de Lisboa","ror":"https://ror.org/02xankh89","country_code":"PT","type":"education","lineage":["https://openalex.org/I83558840"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Jose-Inacio Rocha","raw_affiliation_strings":["Centro de Tecnologia e Sistemas, UNINOVA, Portugal","Escola Superior de Tecnologia de Set\u00fabal, Setubal, Portugal","Faculdade de Ci\u00eancias e Tecnologia, Universidade Nova de Lisboa, Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centro de Tecnologia e Sistemas, UNINOVA, Portugal","institution_ids":["https://openalex.org/I4210127031"]},{"raw_affiliation_string":"Escola Superior de Tecnologia de Set\u00fabal, Setubal, Portugal","institution_ids":["https://openalex.org/I4210102653"]},{"raw_affiliation_string":"Faculdade de Ci\u00eancias e Tecnologia, Universidade Nova de Lisboa, Portugal","institution_ids":["https://openalex.org/I83558840"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100738132","display_name":"L\u00fa\u0131s Gomes","orcid":"https://orcid.org/0000-0003-4299-8270"},"institutions":[{"id":"https://openalex.org/I4210127031","display_name":"Uninova","ror":"https://ror.org/0373te416","country_code":"PT","type":"funder","lineage":["https://openalex.org/I4210127031"]},{"id":"https://openalex.org/I83558840","display_name":"Universidade Nova de Lisboa","ror":"https://ror.org/02xankh89","country_code":"PT","type":"education","lineage":["https://openalex.org/I83558840"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Luis Gomes","raw_affiliation_strings":["Centro de Tecnologia e Sistemas, UNINOVA, Portugal","Faculdade de Ci\u00eancias e Tecnologia, Universidade Nova de Lisboa, Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centro de Tecnologia e Sistemas, UNINOVA, Portugal","institution_ids":["https://openalex.org/I4210127031"]},{"raw_affiliation_string":"Faculdade de Ci\u00eancias e Tecnologia, Universidade Nova de Lisboa, Portugal","institution_ids":["https://openalex.org/I83558840"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5089443194","display_name":"O.P. Dias","orcid":"https://orcid.org/0000-0003-0976-5467"},"institutions":[{"id":"https://openalex.org/I4210102653","display_name":"Instituto Politecnico de Setubal","ror":"https://ror.org/01bvjz807","country_code":"PT","type":"education","lineage":["https://openalex.org/I4210102653"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Octavio Pascoa Dias","raw_affiliation_strings":["Escola Superior de Tecnologia de Set\u00fabal, Setubal, Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Escola Superior de Tecnologia de Set\u00fabal, Setubal, Portugal","institution_ids":["https://openalex.org/I4210102653"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"2","issue":null,"first_page":"4676","last_page":"4681"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9998000264167786,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9994999766349792,"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.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"}}],"keywords":[{"id":"https://openalex.org/keywords/dataflow","display_name":"Dataflow","score":0.9634968638420105},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.9100344181060791},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8455588817596436},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.6049715280532837},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.5724384784698486},{"id":"https://openalex.org/keywords/model-of-computation","display_name":"Model of computation","score":0.503642737865448},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4362282156944275},{"id":"https://openalex.org/keywords/data-flow-diagram","display_name":"Data flow diagram","score":0.4309067726135254},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.42404884099960327},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3579181134700775},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.1910955309867859},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.17804202437400818},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.14457395672798157}],"concepts":[{"id":"https://openalex.org/C96324660","wikidata":"https://www.wikidata.org/wiki/Q205446","display_name":"Dataflow","level":2,"score":0.9634968638420105},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.9100344181060791},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8455588817596436},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.6049715280532837},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.5724384784698486},{"id":"https://openalex.org/C184596265","wikidata":"https://www.wikidata.org/wiki/Q2651576","display_name":"Model of computation","level":3,"score":0.503642737865448},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4362282156944275},{"id":"https://openalex.org/C489000","wikidata":"https://www.wikidata.org/wiki/Q747385","display_name":"Data flow diagram","level":2,"score":0.4309067726135254},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.42404884099960327},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3579181134700775},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.1910955309867859},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.17804202437400818},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.14457395672798157}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iecon.2012.6389492","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iecon.2012.6389492","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320334779","display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","ror":"https://ror.org/00snfqn58"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W243605218","https://openalex.org/W1559577056","https://openalex.org/W1597755753","https://openalex.org/W2010556856","https://openalex.org/W2045098570","https://openalex.org/W2057741098","https://openalex.org/W2064396620","https://openalex.org/W2070385897","https://openalex.org/W2091158003","https://openalex.org/W2093112233","https://openalex.org/W2104922219","https://openalex.org/W2120431055","https://openalex.org/W2140673616","https://openalex.org/W2152077066","https://openalex.org/W2152424511","https://openalex.org/W2158814988","https://openalex.org/W2460709070","https://openalex.org/W6675880199","https://openalex.org/W7010028775"],"related_works":["https://openalex.org/W2154794415","https://openalex.org/W2107824370","https://openalex.org/W1500907979","https://openalex.org/W2039577724","https://openalex.org/W2380814829","https://openalex.org/W1551903405","https://openalex.org/W2499946963","https://openalex.org/W2387511021","https://openalex.org/W1531156418","https://openalex.org/W2168876575"],"abstract_inverted_index":{"Dataflow":[0],"process":[1],"networks":[2],"have":[3],"proved":[4],"and":[5,99,197,219,229],"demonstrated":[6],"their":[7],"adequacy":[8],"in":[9,21,67,74,205,223],"data-dominated":[10],"systems,":[11],"namely":[12,227],"Synchronous":[13,108,143],"Dataflows.":[14],"Due":[15],"to":[16,64,71,77,91,115,150,193,210],"a":[17,25,39,152,186],"multitude":[18],"of":[19,27,41,82,97,104,118,125,135,158,169,185,199,213],"domains,":[20],"where":[22,166],"each":[23,86,107,173],"realizes":[24],"model":[26,33,217],"computation,":[28],"many":[29],"different":[30],"theoretical":[31],"dataflow":[32,75],"approaches":[34],"emerged.":[35],"This":[36,110],"paper":[37,207],"presents":[38],"set":[40],"translating":[42,215],"mechanisms":[43],"allowing":[44,62],"the":[45,79,93,100,119,133,142,156,164,167,195,200,211,214],"mapping":[46],"from":[47,162],"Synchrounous":[48],"Dataflows":[49],"into":[50],"Petri":[51,68,224],"nets.":[52],"Study":[53],"on":[54,57,182],"invariants":[55],"focused":[56],"synchronous":[58],"dataflows":[59],"is":[60,175,208],"presented,":[61],"one":[63,114],"make":[65],"conclusion":[66],"net":[69,225],"domain":[70],"be":[72,191],"applied":[73],"models":[76],"foresee":[78],"necessary":[80],"amount":[81,157,168],"storage":[83,170],"resources":[84],"for":[85,106,172],"arc,":[87],"as":[88,90,127],"well":[89,120,128],"expose":[92],"effective":[94],"maximum":[95,102],"number":[96,103],"tokens":[98,105],"potential":[101],"Dataflow.":[109],"translation":[111],"allows":[112],"also,":[113],"take":[116],"benefit":[117],"known":[121],"property":[122,221],"verification":[123,222],"capabilities":[124],"Petri,":[126],"as,":[129],"attain":[130],"conclusions":[131],"about":[132],"flow":[134],"data":[136,159],"that":[137,146,154],"are":[138],"not":[139],"possible":[140],"using":[141],"Dataflows,":[144],"or":[145],"use":[147],"dynamic":[148],"programming":[149],"compute":[151],"schedule":[153],"minimizes":[155],"memory":[160],"required":[161],"among":[163],"schedules,":[165],"resource":[171],"arc":[174],"still":[176],"unpredictable.":[177],"An":[178],"application":[179],"example":[180],"based":[181],"multistage":[183],"implementation":[184],"sample":[187],"rate":[188],"system":[189],"will":[190],"used":[192],"illustrate":[194],"concept":[196],"effectiveness":[198],"proposed":[201],"approach.":[202],"Our":[203],"focus":[204],"this":[206],"addressed":[209],"description":[212],"mechanisms,":[216],"validation":[218],"at":[220],"domain,":[226],"invariant":[228],"reachability":[230],"analysis.":[231]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}