{"id":"https://openalex.org/W2027681290","doi":"https://doi.org/10.1109/indin.2013.6622950","title":"Exploiting dataflows and Petri nets mappings","display_name":"Exploiting dataflows and Petri nets mappings","publication_year":2013,"publication_date":"2013-07-01","ids":{"openalex":"https://openalex.org/W2027681290","doi":"https://doi.org/10.1109/indin.2013.6622950","mag":"2027681290"},"language":"en","primary_location":{"id":"doi:10.1109/indin.2013.6622950","is_oa":false,"landing_page_url":"https://doi.org/10.1109/indin.2013.6622950","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","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"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Jose-Inacio Rocha","raw_affiliation_strings":["Escola Superior de Tecnologia de Set\u00fabal, Portugal","Escola Super. de Tecnol. de Setubal, Setubal, Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Escola Superior de Tecnologia de Set\u00fabal, Portugal","institution_ids":["https://openalex.org/I4210102653"]},{"raw_affiliation_string":"Escola Super. de Tecnol. de Setubal, Setubal, Portugal","institution_ids":["https://openalex.org/I4210102653"]}]},{"author_position":"middle","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","Escola Super. de Tecnol. de Setubal, Setubal, Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Escola Superior de Tecnologia de Set\u00fabal, Setubal, Portugal","institution_ids":["https://openalex.org/I4210102653"]},{"raw_affiliation_string":"Escola Super. de Tecnol. de Setubal, Setubal, Portugal","institution_ids":["https://openalex.org/I4210102653"]}]},{"author_position":"last","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/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":["Universidade Nova de Lisboa, Lisboa, Lisboa, PT","Fac. de Cienc. e Tecnol., Univ. Nova de Lisboa, Lisbon, Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidade Nova de Lisboa, Lisboa, Lisboa, PT","institution_ids":["https://openalex.org/I83558840"]},{"raw_affiliation_string":"Fac. de Cienc. e Tecnol., Univ. Nova de Lisboa, Lisbon, Portugal","institution_ids":["https://openalex.org/I83558840"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"1","issue":null,"first_page":"590","last_page":"595"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9998999834060669,"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.9998999834060669,"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.9998000264167786,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9991000294685364,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/dataflow","display_name":"Dataflow","score":0.85755854845047},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.8563719391822815},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8321911096572876},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.6862150430679321},{"id":"https://openalex.org/keywords/process-architecture","display_name":"Process architecture","score":0.5798093676567078},{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.5677407383918762},{"id":"https://openalex.org/keywords/model-of-computation","display_name":"Model of computation","score":0.5635388493537903},{"id":"https://openalex.org/keywords/data-flow-diagram","display_name":"Data flow diagram","score":0.49199554324150085},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.474629282951355},{"id":"https://openalex.org/keywords/schedule","display_name":"Schedule","score":0.45595669746398926},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.44095608592033386},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.4237716794013977},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.35414445400238037},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.34047257900238037},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.20561257004737854},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.18822124600410461},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.11643540859222412},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.11044207215309143}],"concepts":[{"id":"https://openalex.org/C96324660","wikidata":"https://www.wikidata.org/wiki/Q205446","display_name":"Dataflow","level":2,"score":0.85755854845047},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8563719391822815},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8321911096572876},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.6862150430679321},{"id":"https://openalex.org/C136155141","wikidata":"https://www.wikidata.org/wiki/Q7247260","display_name":"Process architecture","level":3,"score":0.5798093676567078},{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.5677407383918762},{"id":"https://openalex.org/C184596265","wikidata":"https://www.wikidata.org/wiki/Q2651576","display_name":"Model of computation","level":3,"score":0.5635388493537903},{"id":"https://openalex.org/C489000","wikidata":"https://www.wikidata.org/wiki/Q747385","display_name":"Data flow diagram","level":2,"score":0.49199554324150085},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.474629282951355},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.45595669746398926},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.44095608592033386},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.4237716794013977},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.35414445400238037},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.34047257900238037},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.20561257004737854},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.18822124600410461},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.11643540859222412},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.11044207215309143},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/indin.2013.6622950","is_oa":false,"landing_page_url":"https://doi.org/10.1109/indin.2013.6622950","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W53118640","https://openalex.org/W1499458427","https://openalex.org/W1559577056","https://openalex.org/W1597755753","https://openalex.org/W1601832442","https://openalex.org/W1996109622","https://openalex.org/W2022322636","https://openalex.org/W2035567112","https://openalex.org/W2045098570","https://openalex.org/W2051230585","https://openalex.org/W2064396620","https://openalex.org/W2079998848","https://openalex.org/W2087656024","https://openalex.org/W2091158003","https://openalex.org/W2093112233","https://openalex.org/W2096889604","https://openalex.org/W2113637289","https://openalex.org/W2123783696","https://openalex.org/W2140673616","https://openalex.org/W2149786872","https://openalex.org/W2151929849","https://openalex.org/W2159969174","https://openalex.org/W2161036704","https://openalex.org/W2162293136","https://openalex.org/W4242812063"],"related_works":["https://openalex.org/W2053003854","https://openalex.org/W2355267286","https://openalex.org/W2382668819","https://openalex.org/W4252584640","https://openalex.org/W1913614413","https://openalex.org/W2277357125","https://openalex.org/W2108674173","https://openalex.org/W1485251690","https://openalex.org/W4320067870","https://openalex.org/W2168876575"],"abstract_inverted_index":{"Dataflow":[0],"and":[1,8,49,54,92,174],"Petri":[2,116,133],"nets":[3],"are":[4,127],"used":[5],"in":[6,79,89,166],"modeling":[7,136],"analyzing":[9],"streaming":[10],"applications,":[11],"which":[12,84],"execute":[13],"indefinitely":[14],"using":[15],"limited":[16],"resources.":[17],"Therefore":[18],"it":[19,93],"is":[20,94,121],"essential":[21],"to":[22,46,138,164],"know":[23,165],"if":[24],"a":[25,63,96,104,144],"system":[26,141],"model":[27,76,98],"guaranties":[28],"certain":[29],"properties,":[30],"namely,":[31],"liveness,":[32],"boundedness":[33],"or":[34],"the":[35,59,71,74,81,110,130,148,155,171],"maximal":[36],"throughput.":[37],"Besides,":[38],"working":[39],"with":[40,70],"hardware/":[41],"software":[42],"co-design":[43],"techniques":[44],"helps":[45],"define":[47],"architecture":[48],"platform":[50],"mapping,":[51],"accommodating":[52],"static":[53],"dynamically":[55],"reconfigurable":[56],"components.":[57],"Over":[58],"last":[60],"two":[61],"decades":[62],"multitude":[64],"of":[65,73,77,99,106,132,150,177],"dataflow":[66],"domains":[67],"emerged":[68],"along":[69],"specificity":[72],"outlined":[75],"computation,":[78],"particular":[80],"Synchronous":[82,113],"Dataflows,":[83],"have":[85],"proved":[86],"their":[87],"adequacy":[88],"data-dominated":[90],"systems,":[91],"nowadays":[95],"mature":[97],"computation.":[100],"This":[101],"paper":[102],"describes":[103],"set":[105],"translating":[107],"rules":[108],"allowing":[109],"mapping":[111],"from":[112],"Dataflows":[114],"into":[115],"nets.":[117],"Study":[118],"on":[119],"invariants":[120],"presented.":[122],"Signal":[123],"processing":[124,183],"application":[125],"examples":[126],"used,":[128],"illustrating":[129],"effectiveness":[131],"net":[134],"based":[135],"strategies":[137],"optimize":[139],"digital":[140],"design,":[142],"identifying":[143],"schedule":[145],"that":[146],"minimizes":[147],"amount":[149,176],"storage":[151,178],"resource":[152,179],"thus":[153],"improving":[154],"systems'":[156],"power":[157],"consumption.":[158],"The":[159],"proposed":[160],"approach":[161],"allows":[162],"one":[163],"advance":[167],"at":[168,180],"design":[169],"stage":[170],"maximum":[172],"potential":[173],"effective":[175],"any":[181],"signal":[182],"system.":[184]},"counts_by_year":[{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}