{"id":"https://openalex.org/W1982095127","doi":"https://doi.org/10.1109/nesea.2012.6474021","title":"An FPGA synthesis of the distributed control systems designed with Petri nets","display_name":"An FPGA synthesis of the distributed control systems designed with Petri nets","publication_year":2012,"publication_date":"2012-12-01","ids":{"openalex":"https://openalex.org/W1982095127","doi":"https://doi.org/10.1109/nesea.2012.6474021","mag":"1982095127"},"language":"en","primary_location":{"id":"doi:10.1109/nesea.2012.6474021","is_oa":false,"landing_page_url":"https://doi.org/10.1109/nesea.2012.6474021","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 IEEE 3rd International Conference on Networked Embedded Systems for Every Application (NESEA)","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/A5021370648","display_name":"Arkadiusz Bukowiec","orcid":"https://orcid.org/0000-0002-4302-5430"},"institutions":[{"id":"https://openalex.org/I46305939","display_name":"University of Zielona G\u00f3ra","ror":"https://ror.org/04fzm7v55","country_code":"PL","type":"education","lineage":["https://openalex.org/I46305939"]}],"countries":["PL"],"is_corresponding":true,"raw_author_name":"Arkadiusz Bukowiec","raw_affiliation_strings":["Institute of Computer Engineering and Electronics, University of Zielona G\u00f3ra, Zielona Gora, Poland","Institute of Computer Engineering and Electronics, University of Zielona G\u00f3ra, ul. Podg\u00f3rna 50, 65-246, Poland#TAB#"],"affiliations":[{"raw_affiliation_string":"Institute of Computer Engineering and Electronics, University of Zielona G\u00f3ra, Zielona Gora, Poland","institution_ids":["https://openalex.org/I46305939"]},{"raw_affiliation_string":"Institute of Computer Engineering and Electronics, University of Zielona G\u00f3ra, ul. Podg\u00f3rna 50, 65-246, Poland#TAB#","institution_ids":["https://openalex.org/I46305939"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076929695","display_name":"Piotr Mr\u00f3z","orcid":"https://orcid.org/0000-0001-7108-2013"},"institutions":[{"id":"https://openalex.org/I46305939","display_name":"University of Zielona G\u00f3ra","ror":"https://ror.org/04fzm7v55","country_code":"PL","type":"education","lineage":["https://openalex.org/I46305939"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Piotr Mroz","raw_affiliation_strings":["Institute of Computer Engineering and Electronics, University of Zielona G\u00f3ra, Zielona Gora, Poland","Institute of Computer Engineering and Electronics, University of Zielona G\u00f3ra, ul. Podg\u00f3rna 50, 65-246, Poland#TAB#"],"affiliations":[{"raw_affiliation_string":"Institute of Computer Engineering and Electronics, University of Zielona G\u00f3ra, Zielona Gora, Poland","institution_ids":["https://openalex.org/I46305939"]},{"raw_affiliation_string":"Institute of Computer Engineering and Electronics, University of Zielona G\u00f3ra, ul. Podg\u00f3rna 50, 65-246, Poland#TAB#","institution_ids":["https://openalex.org/I46305939"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5021370648"],"corresponding_institution_ids":["https://openalex.org/I46305939"],"apc_list":null,"apc_paid":null,"fwci":2.092,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.86551473,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9961000084877014,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.994700014591217,"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/subnet","display_name":"Subnet","score":0.975597620010376},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.9286996126174927},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7833870649337769},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.7177218794822693},{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.6832756400108337},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.48288702964782715},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.475117027759552},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4412650167942047},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.4264592230319977},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3735966086387634},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.22659504413604736},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.19677677750587463},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.0982503890991211}],"concepts":[{"id":"https://openalex.org/C21099817","wikidata":"https://www.wikidata.org/wiki/Q7631721","display_name":"Subnet","level":2,"score":0.975597620010376},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.9286996126174927},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7833870649337769},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.7177218794822693},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.6832756400108337},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.48288702964782715},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.475117027759552},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4412650167942047},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.4264592230319977},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3735966086387634},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.22659504413604736},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.19677677750587463},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0982503890991211}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/nesea.2012.6474021","is_oa":false,"landing_page_url":"https://doi.org/10.1109/nesea.2012.6474021","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 IEEE 3rd International Conference on Networked Embedded Systems for Every Application (NESEA)","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":13,"referenced_works":["https://openalex.org/W580065906","https://openalex.org/W1844934542","https://openalex.org/W1893735096","https://openalex.org/W1968486956","https://openalex.org/W1996109622","https://openalex.org/W2036399589","https://openalex.org/W2086084373","https://openalex.org/W2106560006","https://openalex.org/W2126770847","https://openalex.org/W2135230399","https://openalex.org/W2142340571","https://openalex.org/W2154592611","https://openalex.org/W2176098193"],"related_works":["https://openalex.org/W1671817583","https://openalex.org/W2295291212","https://openalex.org/W2377891237","https://openalex.org/W2014292684","https://openalex.org/W2377615010","https://openalex.org/W4238125051","https://openalex.org/W2046360368","https://openalex.org/W2155660625","https://openalex.org/W2908824635","https://openalex.org/W2142999730"],"abstract_inverted_index":{"The":[0,21,46],"paper":[1],"describes":[2],"a":[3,34,57,66,71,110,138],"new":[4],"method":[5],"for":[6],"the":[7,10,18,25,31,50,54,63,105,122,144],"synthesis":[8],"of":[9,24,33,49,56,65,73,80],"application":[11],"specific":[12],"distributed":[13,142],"control":[14,27,107],"systems,":[15],"constructed":[16],"using":[17],"FPGA":[19,96],"devices.":[20,97],"initial":[22],"steps":[23,48],"proposed":[26],"algorithm":[28,51,68],"rely":[29],"on":[30],"notion":[32],"Petri":[35,59],"net,":[36],"which":[37],"is":[38,130],"an":[39],"easy":[40],"way":[41],"to":[42,143],"describe":[43],"parallel":[44,86],"processes.":[45],"subsequent":[47],"consist":[52],"in":[53,94,137],"decomposition":[55],"given":[58,139],"net":[60],"-":[61,69],"with":[62,117],"use":[64],"coloring":[67],"into":[70],"set":[72],"state":[74],"machine":[75],"type":[76],"subnets.":[77],"We":[78],"think":[79],"each":[81,118],"subnet":[82,119,140],"as":[83],"representing":[84],"one":[85],"process.":[87],"These":[88],"subnets":[89],"are":[90],"then":[91],"implemented":[92],"independently":[93],"different":[95],"To":[98],"ensure":[99],"proper":[100],"communication":[101,127],"between":[102,128],"all":[103],"subnets,":[104],"entire":[106],"system":[108],"uses":[109,133],"globally":[111],"asynchronous":[112],"locally":[113],"synchronous":[114],"(GALS)":[115],"architecture":[116],"synchronized":[120],"by":[121],"local":[123],"clock":[124],"signal.":[125],"Global":[126],"components":[129],"buffer-based":[131],"and":[132,141],"additional":[134],"signals,":[135],"generated":[136],"remaining":[145],"ones.":[146]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":3}],"updated_date":"2026-03-25T13:04:00.132906","created_date":"2025-10-10T00:00:00"}