{"id":"https://openalex.org/W4238952419","doi":"https://doi.org/10.1109/memcod.2003.1210084","title":"Petri net based interface analysis for fast IP-core integration","display_name":"Petri net based interface analysis for fast IP-core integration","publication_year":2003,"publication_date":"2003-01-01","ids":{"openalex":"https://openalex.org/W4238952419","doi":"https://doi.org/10.1109/memcod.2003.1210084"},"language":"en","primary_location":{"id":"doi:10.1109/memcod.2003.1210084","is_oa":false,"landing_page_url":"https://doi.org/10.1109/memcod.2003.1210084","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings.","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/A5112277138","display_name":"Julio A. de Oliveira Filho","orcid":null},"institutions":[{"id":"https://openalex.org/I25112270","display_name":"Universidade Federal de Pernambuco","ror":"https://ror.org/047908t24","country_code":"BR","type":"education","lineage":["https://openalex.org/I25112270"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"J.A. de Oliveira Filho","raw_affiliation_strings":["Centre for Informatics, Federal University of Pernambuco (UFPE), Pernambuco, Brazil"],"affiliations":[{"raw_affiliation_string":"Centre for Informatics, Federal University of Pernambuco (UFPE), Pernambuco, Brazil","institution_ids":["https://openalex.org/I25112270"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016887797","display_name":"M.E. de Lima","orcid":null},"institutions":[{"id":"https://openalex.org/I25112270","display_name":"Universidade Federal de Pernambuco","ror":"https://ror.org/047908t24","country_code":"BR","type":"education","lineage":["https://openalex.org/I25112270"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"M.E. de Lima","raw_affiliation_strings":["Centre for Informatics, Federal University of Pernambuco (UFPE), Pernambuco, Brazil"],"affiliations":[{"raw_affiliation_string":"Centre for Informatics, Federal University of Pernambuco (UFPE), Pernambuco, Brazil","institution_ids":["https://openalex.org/I25112270"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5006943325","display_name":"P.R. Maciel","orcid":null},"institutions":[{"id":"https://openalex.org/I25112270","display_name":"Universidade Federal de Pernambuco","ror":"https://ror.org/047908t24","country_code":"BR","type":"education","lineage":["https://openalex.org/I25112270"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"P.R. Maciel","raw_affiliation_strings":["Centre for Informatics, Federal University of Pernambuco (UFPE), Pernambuco, Brazil"],"affiliations":[{"raw_affiliation_string":"Centre for Informatics, Federal University of Pernambuco (UFPE), Pernambuco, Brazil","institution_ids":["https://openalex.org/I25112270"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5112277138"],"corresponding_institution_ids":["https://openalex.org/I25112270"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.41406951,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"1492","issue":null,"first_page":"34","last_page":"42"},"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.9998999834060669,"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.9998999834060669,"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.9966999888420105,"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.9955000281333923,"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/petri-net","display_name":"Petri net","score":0.8444096446037292},{"id":"https://openalex.org/keywords/reusability","display_name":"Reusability","score":0.8183259963989258},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.7647404670715332},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7597683668136597},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5041066408157349},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.45617175102233887},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.45108139514923096},{"id":"https://openalex.org/keywords/user-interface","display_name":"User interface","score":0.4485055208206177},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3753759264945984},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3351236581802368},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3273261785507202},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.28815793991088867},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.20685163140296936},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.19900834560394287},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1471775770187378},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.07766991853713989}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.8444096446037292},{"id":"https://openalex.org/C137981799","wikidata":"https://www.wikidata.org/wiki/Q1369184","display_name":"Reusability","level":3,"score":0.8183259963989258},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.7647404670715332},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7597683668136597},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5041066408157349},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.45617175102233887},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.45108139514923096},{"id":"https://openalex.org/C89505385","wikidata":"https://www.wikidata.org/wiki/Q47146","display_name":"User interface","level":2,"score":0.4485055208206177},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3753759264945984},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3351236581802368},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3273261785507202},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.28815793991088867},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.20685163140296936},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.19900834560394287},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1471775770187378},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.07766991853713989},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/memcod.2003.1210084","is_oa":false,"landing_page_url":"https://doi.org/10.1109/memcod.2003.1210084","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings.","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1529845771","https://openalex.org/W1547948144","https://openalex.org/W1551214605","https://openalex.org/W1554812212","https://openalex.org/W1996109622","https://openalex.org/W2091528902","https://openalex.org/W2125965694","https://openalex.org/W2129670482","https://openalex.org/W2146663621","https://openalex.org/W2148035760","https://openalex.org/W2159314954","https://openalex.org/W2164683163","https://openalex.org/W2168637839","https://openalex.org/W4245411521","https://openalex.org/W4253838338","https://openalex.org/W6631705932","https://openalex.org/W6632713061","https://openalex.org/W6682029675","https://openalex.org/W6683319566"],"related_works":["https://openalex.org/W4282938614","https://openalex.org/W2906929912","https://openalex.org/W2099755394","https://openalex.org/W2350686889","https://openalex.org/W1965839502","https://openalex.org/W2155486208","https://openalex.org/W2111589395","https://openalex.org/W2753086708","https://openalex.org/W1649706580","https://openalex.org/W3195608031"],"abstract_inverted_index":{"An":[0],"interface":[1,31],"process":[2],"generation":[3],"methodology,":[4],"based":[5],"on":[6],"Petri":[7],"nets,":[8],"is":[9,49],"described":[10],"for":[11,53],"fast":[12,37],"integrating":[13],"point-to-point":[14],"communicating":[15],"modules.":[16],"Formal":[17],"basis":[18],"of":[19,28,39],"this":[20],"methodology":[21],"ease":[22],"behavioral":[23],"property-checking":[24],"and":[25],"consistent":[26],"execution":[27],"the":[29],"generated":[30],"process.":[32],"The":[33],"exposed":[34],"technique":[35],"allows":[36],"incorporation":[38],"third-party":[40],"cores":[41],"into":[42],"SoPC":[43],"systems":[44],"design":[45],"where":[46],"integration":[47],"task":[48],"often":[50],"a":[51],"barrier":[52],"reusability.":[54]},"counts_by_year":[{"year":2018,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}